VDM++による形式仕様記述：形式仕様入門・活用の第一歩 トップエスイー実践講座

発売日2018年3月23日 金曜日発売中

著者

石川 冬樹/本位田 真一/荒木 啓二郎

出版社

近代科学社

形式

Kindle版

新刊発見日

2018年3月23日

最終更新

2018年3月23日 18:18

販売サイトで詳細を見る他のサイト