Klaus Havelund
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings - Theoretical Computer Science and General Issues Klaus Havelund 2008 edition

Name: Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings - Theoretical Computer Science and General Issues
Price: 8460 JPY
Availability: OutOfStock
Author: Klaus Havelund

価格

¥ 8.460

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月18日 - 年11月30日

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

Klaus Havelund の新しいリリースのお知らせを受け取る

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings - Theoretical Computer Science and General Issues

Klaus Havelund

2008 edition

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.

343 pages, 1, black & white illustrations

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2008年7月25日
ISBN13	9783540851134
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	343
寸法	155 × 235 × 18 mm · 544 g
言語	フランス語
編集者	Havelund, Klaus
編集者	Majumdar, Rupak
編集者	Palsberg, Jens