|
|
コマツ マサヒコ
Komatsu Masahiko 小松 雅彦 所属 神奈川大学 外国語学部 英語英文学科 神奈川大学大学院 人文学研究科 欧米言語文化専攻(言語学コース) 職種 准教授 |
|
言語種別 | 英語 |
発行・発表の年月 | 1989/12 |
形態種別 | その他 |
標題 | A tool for execution of algebraic specification as prototypes and their translation into programs: ASPELA |
執筆形態 | 単著 |
掲載誌名 | Formal Approach to Software Environment Technology Technical Report |
出版社・発行元 | Tokyo: Joint System Development |
巻・号・頁 | (3),pp.8-14 |