Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証

情報なし

著者

中島, 震, 1955-、来間, 啓伸、本位田, 真一, 1953-

出版社

近代科学社

発売日

2007年12月発売

価格

3,600円（税込・書誌情報提供：openBD）

ISBN

9784764903470

発売済み