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 10% Off 54.99 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

-10%

Gesponsert Springer, Fachbücher, Computer Aided Verification (Englisch, Ganesh Gopalakrishnan, Shaz Qadeer, 2011)

Galaxus.de

49.40 EUR 54.99 EUR

17-09-2026 20:37:56

Access to the deal

-3%

Gesponsert Computer Aided Verification

Hugendubel

53.49 EUR 54.99 EUR

17-09-2026 13:56:54

Access to the deal

-3%

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 54.99 EUR

18-09-2026 15:34:55

Access to the deal

Gesponsert Computer Aided Verification

SpringerLink DE

54.99 EUR 54.99 EUR

19-09-2026 12:50:36

Access to the deal

Ähnliche Produkte