Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers - Lecture Notes in Computer Science - Armin Biere - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642396106 - perjantai 19. heinäkuuta 2013
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers - Lecture Notes in Computer Science 2013 edition

Armin Biere

Hinta
Ft 19.070

Tilattu etävarastosta

Arvioitu toimitus to - pe 13. - 21. marras
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers - Lecture Notes in Computer Science 2013 edition

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions.

293 pages, 75 black & white illustrations, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 19. heinäkuuta 2013
ISBN13 9783642396106
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 281
Mitta 155 × 235 × 15 mm   ·   417 g
Kieli French  
Toimittaja Biere, Armin
Toimittaja Nahir, Amir
Toimittaja Vos, Tanja
Näytä kaikki

Lisää tuotteita Armin Biere

Katso kaikki joka sisältää Armin Biere ( Esim. Paperback Book Ja Hardcover Book )