Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings - Lecture Notes in Computer Science - Jaco Van Der Pol - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642161636 - 2010年9月27日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Jaco Van Der Pol
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings - Lecture Notes in Computer Science

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

お客様の声：

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

まだ評価がありません

Constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, that was held at the University of Twente, in Enschede, The Netherlands.

263 pages, 70 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2010年9月27日
ISBN13 9783642161636
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 263
寸法 152 × 229 × 20 mm   ·   476 g
言語 フランス語  
編集者 Van Der Pol, Jaco
編集者 Weber, Michael

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

Jaco Van Der Polのすべてを見る