Automated Theorem Proving in Software Engineering - Johann M. Schumann - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540679899 - 2001年6月20日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Johann M. Schumann
Automated Theorem Proving in Software Engineering 2001 edition

価格
¥ 10.786
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月14日 - 年9月1日
Johann M. Schumann の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

他の形態でも入手可能：

Growing demands for the quality, safety, and security of software can only be met by rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering.

250 pages, 41 black & white tables, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2001年6月20日
ISBN13 9783540679899
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 250
寸法 156 × 234 × 15 mm   ·   471 g
言語 英語  
寄稿者 D. Loveland

同じ出版社からのその他の記事

Johann M. Schumannのすべてを見る ( 例： Paperback Book および Hardcover Book )