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

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

ジョン・フィッツジェラルド, ピーター・ゴルム・ラーセン, ポール・マッカージー, ニコ・プラット,･･･

416p 23cm

978-4-7981-1961-8