Computer Aided Verification

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

7th International Conference, CAV ’95, Liege, Belgium, July 3 – 5,1995.Proceedings, Lecture Notes in Computer Science 939

ISBN: 3540600450
ISBN 13: 9783540600459
Herausgeber: Pierre Wolper
Verlag: Springer Verlag GmbH
Umfang: xii, 456 S.
Erscheinungsdatum: 21.06.1995
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1433100 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …