Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings - Lecture Notes in Computer Science - Valeria Bertacco - Bøger - Springer International Publishing AG - 9783319030760 - 31. oktober 2013
Ved uoverensstemmelse mellem cover og titel gælder titel

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings - Lecture Notes in Computer Science 2013 edition

Valeria Bertacco

Pris
DKK 448

Bestilles fra fjernlager

Forventes klar til forsendelse 9. - 15. sep.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings - Lecture Notes in Computer Science 2013 edition

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.

388 pages, 147 black & white illustrations, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 31. oktober 2013
ISBN13 9783319030760
Forlag Springer International Publishing AG
Antal sider 366
Mål 155 × 235 × 20 mm   ·   539 g
Sprog Fransk  
Klipper/redaktør Bertacco, Valeria
Klipper/redaktør Legay, Axel
Vis alle

Mere med Valeria Bertacco

Se alt med Valeria Bertacco ( f.eks. Paperback Bog og Hardcover bog )