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

CiNii 所蔵館 27館

書誌事項

タイトル
"VDM++によるオブジェクト指向システムの高品質設計と検証 : 仕様の品質を飛躍的に高める手法"
責任表示
ジョン・フィッツジェラルド [ほか] 著 ; 酒匂寛訳
出版者
  • 翔泳社
出版年月
  • 2010.8
書籍サイズ
23cm
タイトル別名
  • VDM ++ ニ ヨル オブジェクト シコウ システム ノ コウヒンシツ セッケイ ト ケンショウ : シヨウ ノ ヒンシツ オ ヒヤクテキ ニ タカメル シュホウ
  • Validated designs for object‐oriented systems
  • VDM++によるオブジェクト指向システムの高品質設計と検証 : 仕様の品質を飛躍的に高める手法 || ブイディーエム プラスプラス ニ ヨル オブジェクト シコウ システム ノ コウヒンシツ セッケイ ト ケンショウ : シヨウ ノ ヒンシツ オ ヒヤクテキ ニ タカメル シュホウ

この図書・雑誌をさがす

注記

その他の著者: ピーター・ゴルム・ラーセン, ポール・マッカージー, ニコ・プラット, マーセル・バーホフ

文献: p399-401

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ