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 Radhia Cousot 2005 edition
Hinta
NOK 619
Tilattu etävarastosta
Arvioitu toimitus ke - to 3. - 11. joulu
Joululahjoja voi vaihtaa 31.1. asti
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
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 | Saksa |
| Toimittaja | Cousot, Radhia |
Näytä kaikki
Lisää tuotteita Radhia Cousot
Katso kaikki joka sisältää Radhia Cousot ( Esim. Paperback Book )