Corina S Pasareanu
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings - Theoretical Computer Science and General Issues Corina S Pasareanu 2009 Edition

Name: Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings - Theoretical Computer Science and General Issues
Price: 8459 JPY
Availability: OutOfStock
Author: Corina S Pasareanu

価格

¥ 8.459

税抜

遠隔倉庫からの取り寄せ

発送予定日年12月7日 - 年12月17日

クリスマスプレゼントは1月31日まで返品可能です

Corina S Pasareanu の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings - Theoretical Computer Science and General Issues

Corina S Pasareanu

2009 Edition

307 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2009年6月19日
ISBN13	9783642026515
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	297
寸法	155 × 235 × 18 mm · 476 g
言語	フランス語
編集者	Pasareanu, Corina S