Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers - Programming and Software Engineering - Eyal Bin - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540708889 - February 9, 2007
In case cover and title do not match, the title is correct

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers - Programming and Software Engineering 2007 edition

Eyal Bin

Price
£ 50.99

Ordered from remote warehouse

Expected delivery Dec 6 - 19
Christmas presents can be returned until 31 January
Add to your iMusic wish list

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers - Programming and Software Engineering 2007 edition

This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006.


252 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released February 9, 2007
ISBN13 9783540708889
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 235
Dimensions 155 × 235 × 13 mm   ·   394 g
Language German  
Editor Bin, Eyal
Editor Ur, Shmuel
Editor Ziv, Avi