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

€ 121,99

Bestellware

Lieferdatum: ca. 2. - 11. Dez

Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

Zu deiner iMusic Wunschliste hinzufügen

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