Name: Computer Aided Verification: 23rd International Conference, C.A.V. 2011, Snowbird, U.T., U.S.A., July 14-20, 2011, Proceedings
Brand: Springer-Verlag GmbH
SKU: ID13099579
Availability: InStock

Computer Aided Verification: 23rd International Conference, C.A.V. 2011, Snowbird, U.T., U.S.A., July 14-20, 2011, Proceedings

53.49 EUR

Der Sammelband der 23. Internationalen Konferenz zur Computer‑Aided Verification (Juli 2011 in Snowbird) liefert aktuelle Forschungsergebnisse zu formaler Verifikation, Modellprüfung und automatisierter Analyse.

Marke: Springer-Verlag GmbH

MPN: 134 black & white illustrations, 46 colo

ISBN: 9783642221095