Computer Aided Verification

Lieferzeit: Lieferbar innerhalb 14 Tagen

106,99 

10th International Conference, CAV’98, Vancouver, BC, Canada, June 28-July 2,1998, Proceedings, Lecture Notes in Computer Science 1427

ISBN: 3540646086
ISBN 13: 9783540646082
Herausgeber: Alan J Hu/Moshe Y Vardi
Verlag: Springer Verlag GmbH
Umfang: x, 552 S.
Erscheinungsdatum: 03.06.1998
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1461345 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …