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 - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642341878 - October 9, 2012
In case cover and title do not match, the title is correct

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 2012 edition

Price
$ 50.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 27 - 31
Get notified about new Kerstin Eder releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 9, 2012
ISBN13 9783642341878
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 263
Dimensions 155 × 235 × 14 mm   ·   385 g
Language German  
Editor Eder, Kerstin
Editor Louren?o, Joao
Editor Shehory, Onn

More from the same publisher

See all of Kerstin Eder ( e.g. Paperback Book )