Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings - Lecture Notes in Computer Science - L D Zuck - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540003489 - perjantai 13. joulukuuta 2002
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

L D Zuck

Hinta
NZD 122,65

Tilattu etävarastosta

Arvioitu toimitus to - ma 5. - 16. kesä

Asiakkaamme sanovat:

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

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9-11, 2003.

340 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 13. joulukuuta 2002
ISBN13 9783540003489
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 328
Mitta 155 × 233 × 18 mm   ·   798 g
Kieli German  
Toimittaja Attie, Paul D.
Toimittaja Cortesi, Agostino
Toimittaja Mukhopadhyay, Supratik
Toimittaja Zuck, Lenore D.

Katso kaikki joka sisältää L D Zuck ( Esim. Paperback Book )