Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers - Lecture Notes in Computer Science 1st ed. 2016 edition

Name: Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers - Lecture Notes in Computer Science
Price: 8492 JPY
Availability: OutOfStock

価格

¥ 8.492

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月30日 - 年12月10日

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

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers - Lecture Notes in Computer Science

1st ed. 2016 edition

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.

213 pages, 36 black & white illustrations, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2016年11月8日
ISBN13	9783319488684
出版社	Springer International Publishing AG
ページ数	199
寸法	155 × 235 × 12 mm · 3,34 kg
言語	ドイツ語
編集者	Blazy, Sandrine
編集者	Chechik, Marsha