Computer Aided Verification

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

8th International Conference, CAV ’96, New Brunswick, NJ, USA, July 31 – August 3,1996.Proceedings, Lecture Notes in Computer Science 1102

ISBN: 3540614745
ISBN 13: 9783540614746
Herausgeber: Rajeev Alur/Thomas Henzinger
Verlag: Springer Verlag GmbH
Umfang: xiii, 479 S.
Erscheinungsdatum: 17.07.1996
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1460981 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …