VDM++(ブイディーエムプラスプラス)によるオブジェクト指向システムの高品質設計と検証 : 仕様の品質を飛躍的に高める手法 : ソフトウェア開発の実践 ＜IT architects' archive＞

書籍データ

Validated designs for object-oriented systems VDM++によるオブジェクト指向システムの高品質設計と検証

著者名：ジョン・フィッツジェラルド, ピーター・ゴルム・ラーセン, ポール・マッカージー, ニコ・プラット, マーセル・バーホフ 著 ; 酒匂寛 訳他の作品を見る

出版社：翔泳社

発売日：2010.8

416p 23cm

ISBN：978-4-7981-1961-8