Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA | Kaicus Deutschland

product image

product image

product image

product image

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)

52.74 EUR 59.00 EUR

18-09-2026 13:27:48

Access to the deal

-9%

Gesponsert Computer Aided Verification

Hugendubel

53.49 EUR 59.00 EUR

17-09-2026 11:47:31

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

17-09-2026 12:37:37

Access to the deal

Gesponsert Computer Aided Verification

SpringerLink DE

59.00 EUR 59.00 EUR

18-09-2026 18:10:42

Access to the deal

Ähnliche Produkte