Kerstin Eder
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers - Lecture Notes in Computer Science Kerstin Eder 2012 edition

Name: Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers - Lecture Notes in Computer Science
Price: 7825 JPY
Availability: OutOfStock
Author: Kerstin Eder

価格

¥ 7.825

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月16日 - 年11月26日

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

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

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers - Lecture Notes in Computer Science

Kerstin Eder

2012 edition

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions.

276 pages, 95 black & white illustrations, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2012年10月9日
ISBN13	9783642341878
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	263
寸法	155 × 235 × 14 mm · 385 g
言語	ドイツ語
編集者	Eder, Kerstin
編集者	Louren?o, Joao
編集者	Shehory, Onn