Computer Aided Verification

Lieferzeit: Lieferbar innerhalb 14 Tagen

106,99 

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

ISBN: 3540223428
ISBN 13: 9783540223429
Herausgeber: Rajeev Alur/Doron A Peled
Verlag: Springer Verlag GmbH
Umfang: xii, 536 S.
Erscheinungsdatum: 29.06.2004
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1517723 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …