Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science - Rajeev Alur - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540223429 - tiistai 29. kesäkuuta 2004
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science 2004 edition

Rajeev Alur

Hinta
€ 120,99

Tilattu etävarastosta

Arvioitu toimitus to - ti 10. - 22. loka

Asiakkaamme sanovat:

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

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science 2004 edition

536 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä tiistai 29. kesäkuuta 2004
ISBN13 9783540223429
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 536
Mitta 155 × 233 × 28 mm   ·   811 g
Kieli German  
Toimittaja Alur, Rajeev
Toimittaja Peled, Doron A.
Näytä kaikki

Lisää tuotteita Rajeev Alur

Katso kaikki joka sisältää Rajeev Alur ( Esim. Paperback Book Ja Book )