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 - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540708889 - 9. februar 2007
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
£ 41,99

Bestillingsvarer

Forventes levert 15. - 23. okt
Legg til iMusic ønskeliste
eller

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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 9. februar 2007
ISBN13 9783540708889
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 235
Mål 155 × 235 × 13 mm   ·   394 g
Språk Tysk  
Redaktør Bin, Eyal
Redaktør Ur, Shmuel
Redaktør Ziv, Avi

Se alt med Eyal Bin ( f.eks. Pocketbok )