Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings - Theoretical Computer Science and General Issues - Byron Cook - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540697350 - keskiviikko 3. tammikuuta 2007
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings - Theoretical Computer Science and General Issues 2007 edition

Byron Cook

Hinta
€ 67,49

Tilattu etävarastosta

Arvioitu toimitus ma - ke 2. - 11. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings - Theoretical Computer Science and General Issues 2007 edition

The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007.

395 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 3. tammikuuta 2007
ISBN13 9783540697350
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 395
Mitta 155 × 235 × 21 mm   ·   612 g
Kieli German  
Toimittaja Cook, Byron
Toimittaja Podelski, Andreas

Katso kaikki joka sisältää Byron Cook ( Esim. Paperback Book )