Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science - Bernhard Steffen - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540208037 - keskiviikko 7. tammikuuta 2004
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science

Bernhard Steffen

Hinta
S$ 78,65

Tilattu etävarastosta

Arvioitu toimitus pe - ma 11. - 21. heinä

Asiakkaamme sanovat:

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

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.

325 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 7. tammikuuta 2004
ISBN13 9783540208037
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 325
Mitta 156 × 234 × 18 mm   ·   480 g
Kieli German  
Näytä kaikki

Lisää tuotteita Bernhard Steffen

Katso kaikki joka sisältää Bernhard Steffen ( Esim. Paperback Book Ja Hardcover Book )