Name: Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Brand: Springer-Verlag GmbH
SKU: ID13389439
Availability: InStock

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

52.74 EUR 11% Off 59.00 EUR

Die Proceedings der 27. CAV-Konferenz in San Francisco zeigen wegweisende Methoden zur formalen Verifikation, inklusive Modellierung, Analyse und Sicherheitsthemen für moderne Softwaresysteme.

Marke: Springer-Verlag GmbH

MPN: 141 black & white illustrations, biograp

ISBN: 3319216899

Angebote
Merkmale

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

-11%

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

Medimops DE

52.74 EUR 59.00 EUR

27-07-2026 22:41:50

Access to the deal

-9%

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

Galaxus.de

53.49 EUR 59.00 EUR

28-07-2026 12:46:11

Access to the deal

Gesponsert Computer Aided Verification

SpringerLink DE

59.00 EUR 59.00 EUR

29-07-2026 07:18:05

Access to the deal

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

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

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

Gesponsert Computer Aided Verification

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

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

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

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

Gesponsert Computer Aided Verification

Ähnliche Produkte

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

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification