Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings - Lecture Notes in Computer Science 1st ed. 2016 edition

Name: Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings - Lecture Notes in Computer Science
Price: 8721 JPY
Availability: OutOfStock

価格

¥ 8.721

税抜

遠隔倉庫からの取り寄せ

発送予定日年9月28日 - 年10月8日

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings - Lecture Notes in Computer Science

1st ed. 2016 edition

This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4tool demonstrations, were carefully reviewed and selected from 27 submissions.

245 pages, 75 black & white illustrations, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2016年4月8日
ISBN13	9783319325811
出版社	Springer International Publishing AG
ページ数	245
寸法	155 × 235 × 14 mm · 4,04 kg
言語	ドイツ語
編集者	Bosnacki, Dragan
編集者	Wijs, Anton