Computer Aided Verification

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

6th International Conference, CAV ’94, Stanford, California, USA, June 21-23,1994.Proceedings, Lecture Notes in Computer Science 818

ISBN: 3540581790
ISBN 13: 9783540581796
Herausgeber: David L Dill
Verlag: Springer Verlag GmbH
Umfang: x, 486 S.
Erscheinungsdatum: 01.06.1994
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1434955 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …