Spin Model Checking and Software Verification: 7th International Spin Workshop Stanford, Ca, Usa, August 30 - September 1, 2000 Proceedings - Lecture Notes in Computer Science - K Havelund - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540410300 - 2000年8月21日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

K Havelund
Spin Model Checking and Software Verification: 7th International Spin Workshop Stanford, Ca, Usa, August 30 - September 1, 2000 Proceedings - Lecture Notes in Computer Science

価格
¥ 8.591
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月1日 - 年10月13日
K Havelund の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

The SPIN model checker is one of the most powerful systems of this kind and has attracted a large user community. This text is devoted to automata-based explicit-state model checking technologies for the analysis and verification of asynchronous concurrent and distributed systems.

346 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2000年8月21日
ISBN13 9783540410300
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 346
寸法 155 × 233 × 18 mm   ·   503 g
言語 ドイツ語  
編集者 Havelund, Klaus
編集者 Penix, John
編集者 Visser, Willem

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

K Havelundのすべてを見る