Computer Aided Verification: 23rd International Conference, C.A.V. 2011, Snowbird, U.T. | Kaicus Deutschland

product image

product image

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

49.40 EUR 16% Off 59.00 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

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-16%

Gesponsert Computer Aided Verification, Fachbücher von Ganesh Gopalakrishnan, Shaz Qadeer

Galaxus.de

49.40 EUR 59.00 EUR

28-07-2026 08:46:55

Access to the deal

-9%

Gesponsert Computer Aided Verification

Hugendubel

53.49 EUR 59.00 EUR

28-07-2026 03:25:20

Access to the deal

-9%

Gesponsert Computer Aided Verification: 23rd International Conference, C.A.V. 2011, Snowbird, U.T., U.S.A., July 14-20, 2011, Proceedings (Lecture Notes in ... Issues) (Lecture Notes in Computer Science)

53.49 EUR 59.00 EUR

27-07-2026 23:51:01

Access to the deal

Gesponsert Computer Aided Verification

SpringerLink DE

59.00 EUR 59.00 EUR

29-07-2026 07:17:21

Access to the deal

Ähnliche Produkte