Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers - Programming and Software Engineering - Armin Biere - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642396106 - July 19, 2013
In case cover and title do not match, the title is correct

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers - Programming and Software Engineering 2013 edition

Armin Biere

Price
SEK 489
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 10 - 20
Christmas presents can be returned until 31 January

Our customers say:

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

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers - Programming and Software Engineering 2013 edition

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions.

293 pages, 75 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 19, 2013
ISBN13 9783642396106
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 281
Dimensions 155 × 235 × 15 mm   ·   417 g
Language French  
Editor Biere, Armin
Editor Nahir, Amir
Editor Vos, Tanja
Show all

More by Armin Biere

See all of Armin Biere ( e.g. Paperback Book and Hardcover Book )