Madhusudan Parthasarathy
Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings - Lecture Notes in Computer Science Madhusudan Parthasarathy 2012 edition

Name: Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings - Lecture Notes in Computer Science
Price: 8521 JPY
Availability: OutOfStock
Author: Madhusudan Parthasarathy

価格

¥ 8.521

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月3日 - 年11月13日

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

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings - Lecture Notes in Computer Science

Madhusudan Parthasarathy

2012 edition

808 pages, 192 black & white illustrations, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2012年6月27日
ISBN13	9783642314230
出版社	Springer-Verlag Berlin and Heidelberg Gm
ジャンル	Aspects (Academic) > Science / Technology Aspects
ページ数	789
寸法	155 × 235 × 40 mm · 1,11 kg
言語	フランス語
編集者	Parthasarathy, Madhusudan
編集者	Seshia, Sanjit A.