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øger - Springer-Verlag Berlin and Heidelberg Gm - 9783540708889 - 9. februar 2007
Ved uoverensstemmelse mellem cover og titel gælder titel

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
DKK 564

Bestilles fra fjernlager

Forventes klar til forsendelse 4. - 12. jul.
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 9. februar 2007
ISBN13 9783540708889
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 235
Mål 155 × 235 × 13 mm   ·   394 g
Sprog Tysk  
Klipper/redaktør Bin, Eyal
Klipper/redaktør Ur, Shmuel
Klipper/redaktør Ziv, Avi