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 - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540708889 - perjantai 9. helmikuuta 2007
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
SFr. 48,99

Tilattu etävarastosta

Arvioitu toimitus to 30. loka - pe 7. marras
Lisää iMusic-toivelistallesi
tai

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 9. helmikuuta 2007
ISBN13 9783540708889
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 235
Mitta 155 × 235 × 13 mm   ·   394 g
Kieli German  
Toimittaja Bin, Eyal
Toimittaja Ur, Shmuel
Toimittaja Ziv, Avi