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

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

Angebote
Merkmale

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

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)

Medimops DE

53.49 EUR 53.49 EUR

24-04-2026 05:49:29

Access to the deal

Gesponsert Computer Aided Verification

Hugendubel

53.49 EUR 53.49 EUR

23-04-2026 22:43:51

Access to the deal

Gesponsert Computer Aided Verification

SpringerLink DE

53.49 EUR 53.49 EUR

23-04-2026 20:41:16

Access to the deal

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

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)

Gesponsert Computer Aided Verification

Gesponsert Computer Aided Verification

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

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

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)

Gesponsert Computer Aided Verification

Gesponsert Computer Aided Verification

Ähnliche Produkte

Computer Aided Verification

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Computer Aided Verification

Computer Aided Verification