Thomas Ball
Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings - Lecture Notes in Computer Science Thomas Ball 2003 edition

Name: Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings - Lecture Notes in Computer Science
Price: 8924 JPY
Availability: OutOfStock
Author: Thomas Ball

価格

¥ 8.924

税抜

遠隔倉庫からの取り寄せ

発送予定日年9月24日 - 年10月6日

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

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings - Lecture Notes in Computer Science

Thomas Ball

2003 edition

This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions.

249 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2003年4月28日
ISBN13	9783540401179
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	241
寸法	155 × 233 × 13 mm · 385 g
言語	ドイツ語
編集者	Ball, Thomas
編集者	Rajamani, Sriram K.