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 1% Off 53.49 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

-1%

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 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:40

Access to the deal

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

Galaxus.de

53.49 EUR 53.49 EUR

11-06-2026 03:11:14

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

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: 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

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

Ähnliche Produkte

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

Computer Aided Verification