Computer Aided Verification

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

9th International Conference, CAV’97, Haifa, Israel, June 22-25,1997, Proceedings, Lecture Notes in Computer Science 1254

ISBN: 3540631666
ISBN 13: 9783540631668
Herausgeber: Orna Grumberg
Verlag: Springer Verlag GmbH
Umfang: xii, 492 S.
Erscheinungsdatum: 04.06.1997
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1509106 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …