
Fortell venner om denne varen:
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 |