Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I - Lecture Notes in Computer Science 1st ed. 2017 edition

Name: Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I - Lecture Notes in Computer Science
Price: 8608 JPY
Availability: OutOfStock

価格

¥ 8.608

税抜

遠隔倉庫からの取り寄せ

発送予定日年10月19日 - 年10月29日

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I - Lecture Notes in Computer Science

1st ed. 2017 edition

601 pages, 142 Illustrations, black and white; XIX, 601 p. 142 illus.

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2017年7月13日
ISBN13	9783319633862
出版社	Springer International Publishing AG
ページ数	601
寸法	150 × 220 × 10 mm · 9,30 kg
言語	ドイツ語
編集者	Kuncak, Viktor
編集者	Majumdar, Rupak