VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩石川冬樹, 荒木啓二郎, 本位田真一出版社近代科学社発売日2011-07-01ISBN9784764904095読みたい読書中読んだ詳細はこちらからAmazonで見るシェアする
