Jr Hunt
Computer Aided Verification: 15th International Conference, Cav 2003, Boulder, Co, Usa, July 8-12, 2003, Proceedings - Lecture Notes in Computer Science Jr Hunt

Name: Computer Aided Verification: 15th International Conference, Cav 2003, Boulder, Co, Usa, July 8-12, 2003, Proceedings - Lecture Notes in Computer Science
Price: 8449 JPY
Availability: OutOfStock
Author: Jr Hunt

価格

¥ 8.449

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月19日 - 年12月1日

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

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

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Computer Aided Verification: 15th International Conference, Cav 2003, Boulder, Co, Usa, July 8-12, 2003, Proceedings - Lecture Notes in Computer Science

Jr Hunt

462 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2003年6月27日
ISBN13	9783540405245
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	462
寸法	155 × 233 × 24 mm · 666 g
言語	ドイツ語
編集者	Hunt, Warren A.
編集者	Somenzi, Fabio