ピーター ゴルム ラーセン 一覧

VDM++によるオブジェクト指向システムの高品質設計と検証 仕様の品質を飛躍的に高める手法

著者：

酒匂 寛、 酒匂 寛、 ジョン フィッツジェラルド 他

発売：

2010年08月02日

ISBN：

9784798119618

定価：

6,028円（本体5,480円＋税10%）

カテゴリ：

プログラミング・開発