Computer Aided Verification

Lieferzeit: Lieferbar innerhalb 14 Tagen

106,99 

13th International Conference, CAV 2001, Paris, France, July 18-22,2001.Proceedings, Lecture Notes in Computer Science 2102

ISBN: 3540423451
ISBN 13: 9783540423454
Herausgeber: Gerard Berry/Hubert Comon/Alain Finkel
Verlag: Springer Verlag GmbH
Umfang: xiii, 522 S.
Erscheinungsdatum: 04.07.2001
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1469794 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …