この商品の詳細
- 出版社
- 近代科学社
- 出版社シリーズ
- トップエスイー実践講座
- ISBN
- 4764904095
- サイズ
- 単行本
- 発売年月日
- 2011年07月01日
この商品の紹介
形式仕様記述言語VDM++の包括的な入門解説書。VDM++使用の目的や意義にも言及しながら、具体的にわかりやすく説明。形式仕様記述とソフトウェア開発との関連についても取り上げる。
VDM++による形式仕様記述 形式仕様入門・活用の第一歩/単行本
2,200
円(税込)