Computer Aided Verification

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20,2011, Proceedings, Lecture Notes in Computer Science 6806 – Theoretical Computer Science and General Issues

ISBN: 3642221092
ISBN 13: 9783642221095
Herausgeber: Ganesh Gopalakrishnan/Shaz Qadeer
Verlag: Springer Verlag GmbH
Umfang: xv, 763 S., 134 s/w Illustr., 46 farbige Illustr., 763 p. 180 illus., 46 illus. in color.
Erscheinungsdatum: 05.07.2011
Auflage: 1/2011
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1279138 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …