VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩

情報なし

著者

石川, 冬樹、荒木, 啓二郎, 1954-、本位田, 真一, 1953-

出版社

近代科学社

発売日

2011年7月発売

価格

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

ISBN

9784764904095

発売済み