Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science - Rajeev Alur - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540223429 - 29. Juni 2004
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

Preis
€ 117,49

Bestellware

Lieferdatum: ca. 11. - 23. Okt

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 29. Juni 2004
ISBN13 9783540223429
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 536
Maße 155 × 233 × 28 mm   ·   811 g
Sprache Deutsch  
Redakteur Alur, Rajeev
Redakteur Peled, Doron A.
Alle anzeigen

Weitere Titel von Rajeev Alur

Alle Titel von Rajeev Alur ansehen ( u. a. Taschenbuch und Buch )