Name: Computer Aided Verification
Brand: Springer-Verlag GmbH
SKU: ID12470586
Availability: InStock

Computer Aided Verification

53.49 EUR

Ein kompakter Leitfaden aus der CAV‑Konferenz 2015, der neueste Algorithmen zur formalen Verifikation vorstellt und deren Einsatz in komplexen Softwaresystemen erläutert.

Marke: Springer-Verlag GmbH

MPN: 107 black & white illustrations, biograp

ISBN: 3319216678

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: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science)

Medimops DE

53.49 EUR 53.49 EUR

11-06-2026 14:57:59

Access to the deal

Gesponsert Computer Aided Verification

SpringerLink DE

53.49 EUR 53.49 EUR

11-06-2026 23:32:39

Access to the deal

Gesponsert Computer Aided Verification, Fachbücher von Corina S. Pasareanu, Daniel Kroening

Galaxus.de

53.49 EUR 53.49 EUR

12-06-2026 01:19:53

Access to the deal

Computer Aided Verification

Gesponsert Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science)

Gesponsert Computer Aided Verification

Gesponsert Computer Aided Verification, Fachbücher von Corina S. Pasareanu, Daniel Kroening

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Computer Aided Verification

Gesponsert Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science)

Gesponsert Computer Aided Verification

Gesponsert Computer Aided Verification, Fachbücher von Corina S. Pasareanu, Daniel Kroening

Ähnliche Produkte

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

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