SPIN Model Checker, The: Primer and Reference Manual - Gerard Holzmann - 書籍 - Pearson Education (US) - 9780321773715 - 2011年6月13日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Gerard Holzmann
SPIN Model Checker, The: Primer and Reference Manual

商品が入荷したらメールで通知を受け取る
プロフィールはありますか？ ログイン
Gerard Holzmann の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

608 pages

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2011年6月13日
ISBN13 9780321773715
出版社 Pearson Education (US)
ページ数 608
寸法 180 × 232 × 31 mm   ·   1,04 kg
言語 英語  

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

Gerard Holzmannのすべてを見る ( 例： Paperback Book )