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 / Programming and Software Engineering .7261) / Herausgegeben von Eder, Kerstin/ Louren o, Jo

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 / Programming and Software Engineering .7261) （2012. 2012. XI, 263 S. 235 mm）

ポイントキャンペーン

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 / Programming and Software Engineering .7261) （2012. 2012. XI, 263 S. 235 mm）

Herausgegeben von Eder, Kerstin/ Louren o, Jo

SPRINGER, BERLIN; SPRINGER（2012発売）

ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す

製本 Paperback:紙装版/ペーパーバック版
商品コード 9783642341878

Full Description

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.