2013-10-21から1日間の記事一覧

VDM++によるオブジェクト指向システムの高品質設計と検証

VDM++によるオブジェクト指向システムの高品質設計と検証 (IT architects’ archive)作者: ジョン・フィッツジェラルド、ピーター・ゴルム・ラーセン、ポール・マッカージー、ニコ・プラット、マーセル・バーホフ,酒匂寛出版社/メーカー: 翔泳社発売日: 2010/…