Principles of the Spin Model Checker - Mordechai Ben-Ari - 書籍 - Springer London Ltd - 9781846287695 - 2008年1月8日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Mordechai Ben-Ari
Principles of the Spin Model Checker 2008 edition

価格
¥ 12.655
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月8日 - 2026年1月20日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

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

Principles of Spin is an introductory book, the only requirement is a background in programming. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism.

220 pages, 1, black & white illustrations

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2008年1月8日
ISBN13 9781846287695
出版社 Springer London Ltd
ページ数 220
寸法 141 × 222 × 24 mm   ·   535 g
言語 英語  

Mordechai Ben-Ariの他の作品を見る

すべて表示

Mordechai Ben-Ariのすべてを見る ( 例： Paperback Book および Hardcover Book )