
Vinkkaa tuotetta kavereillesi:
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
Radhia Cousot
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
Katso kaikki joka sisältää Radhia Cousot ( Esim. Paperback Book )