Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642074783 - 2010年12月15日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

B. Berard
Systems and Software Verification: Model-Checking Techniques and Tools Softcover reprint of hardcover 1st ed. 2001 edition

価格
¥ 23.561
税抜

遠隔倉庫からの取り寄せ

発送予定日 年6月8日 - 年6月18日

お客様の声：

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

他の形態でも入手可能：

Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms.

202 pages, 4 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2010年12月15日
ISBN13 9783642074783
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 190
寸法 233 × 157 × 18 mm   ·   328 g
言語 ドイツ語  
翻訳者 McKenzie, P.

B. Berardのすべてを見る ( 例： Hardcover Book および Paperback Book )