Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science - Peter Muller - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540431671 - 2002年1月23日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Peter Muller
Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science 2002 edition

価格
¥ 8.791
税抜

遠隔倉庫からの取り寄せ

発送予定日 年2月2日 - 年2月12日

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

Two aspects are crucial to widen the application area of formal methods: - Formal speci?cation techniques have to be smoothly integrated into the software and program development process. Starting from these considerations, Peter Muller has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware.

298 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2002年1月23日
ISBN13 9783540431671
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 298
寸法 155 × 235 × 16 mm   ·   439 g
言語 英語  

Peter Mullerの他の作品を見る

すべて表示

Peter Mullerのすべてを見る ( 例： Paperback Book , Hardcover Book , Book および CD )