Computer Aided Verification

Lieferzeit: Lieferbar innerhalb 14 Tagen

106,99 

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19,2013, Proceedings, Lecture Notes in Computer Science 8044 – Theoretical Computer Science and General Issues

ISBN: 3642397980
ISBN 13: 9783642397981
Herausgeber: Natasha Sharygina/Helmut Veith
Verlag: Springer Verlag GmbH
Umfang: xxii, 1015 S., 237 s/w Illustr., 1015 p. 237 illus.
Erscheinungsdatum: 14.07.2013
Auflage: 1/2013
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 5542626 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …