Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers - Programming and Software Engineering - Kedar Namjoshi - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642192364 - torstai 10. helmikuuta 2011
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers - Programming and Software Engineering 2011 edition

Kedar Namjoshi

Hinta
€ 66,99

Tilattu etävarastosta

Arvioitu toimitus ti 23. heinä - pe 2. elo

Asiakkaamme sanovat:

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

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers - Programming and Software Engineering 2011 edition

The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing).

179 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 10. helmikuuta 2011
ISBN13 9783642192364
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 169
Mitta 155 × 235 × 10 mm   ·   272 g
Kieli French  
Toimittaja Namjoshi, Kedar
Toimittaja Zeller, Andreas
Toimittaja Ziv, Avi

Katso kaikki joka sisältää Kedar Namjoshi ( Esim. Paperback Book )