Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings - Lecture Notes in Computer Science -  - Bøker - Springer International Publishing AG - 9783319262864 - 27. oktober 2015
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings - Lecture Notes in Computer Science 1st ed. 2015 edition

Pris
NOK 539

Bestillingsvarer

Forventes levert 7. - 17. nov
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller

Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings - Lecture Notes in Computer Science 1st ed. 2015 edition

This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions.


293 pages, 88 black & white illustrations, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 27. oktober 2015
ISBN13 9783319262864
Utgivere Springer International Publishing AG
Antall sider 293
Mål 155 × 235 × 17 mm   ·   4,75 kg
Språk Fransk  
Redaktør Piterman, Nir