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 -  - Kirjat - Springer International Publishing AG - 9783319262864 - tiistai 27. lokakuuta 2015
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
zł 215,90

Tilattu etävarastosta

Arvioitu toimitus ti - ke 2. - 10. joulu
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä tiistai 27. lokakuuta 2015
ISBN13 9783319262864
Tuottaja Springer International Publishing AG
Sivujen määrä 293
Mitta 155 × 235 × 17 mm   ·   4,75 kg
Kieli Ranska  
Toimittaja Piterman, Nir