イイダ　シュウサク   IIDA Shusaku   飯田 周作    所属   専修大学  ネットワーク情報学部    職種   教授
言語種別	日本語
発行・発表の年月	1999/06/21
形態種別	未選択
標題	「Component-based Algebraic Specification」
執筆形態	共著
掲載誌名	Behavioral Specifications of Business and Systems. Kluewer Aczdemic Publishers
巻・号・頁	105-121頁
著者・共著者	共著者:Kokichi Futatsugi. Razvan Diaconescu