Computer Aided Verification

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13,2012 Proceedings, Lecture Notes in Computer Science 7358 – Theoretical Computer Science and General Issues

ISBN: 3642314236
ISBN 13: 9783642314230
Herausgeber: Madhusudan Parthasarathy/Sanjit A Seshia
Verlag: Springer Verlag GmbH
Umfang: xvi, 789 S., 192 s/w Illustr., 789 p. 192 illus.
Erscheinungsdatum: 27.06.2012
Auflage: 1/2012
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 3704857 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …