Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings - Lecture Notes in Computer Science - Radhia Cousot - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540242970 - torstai 13. tammikuuta 2005
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings - Lecture Notes in Computer Science 2005 edition

Radhia Cousot

Hinta
€ 52,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 15. - 23. loka
Lisää iMusic-toivelistallesi
tai

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings - Lecture Notes in Computer Science 2005 edition

483 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 13. tammikuuta 2005
ISBN13 9783540242970
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 483
Mitta 155 × 235 × 25 mm   ·   693 g
Kieli German  
Toimittaja Cousot, Radhia

Näytä kaikki

Lisää tuotteita Radhia Cousot