Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings - Programming and Software Engineering -  - 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 - Programming and Software Engineering 1st ed. 2015 edition

Pris
NOK 539

Bestillingsvarer

Forventes levert 28. okt - 5. nov
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 - Programming and Software Engineering 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