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

Computer Aided Verification

53.49 EUR

Die Proceedings der 24. CAV‑Konferenz in Berkeley zeigen wegweisende Ansätze zur formalen Verifikation, inklusive Modellprüfungen und Theorem‑Proving, verfasst von internationalen Spitzenforschern.

Marke: Springer-Verlag GmbH

MPN: 192 black & white illustrations, biograp

ISBN: 9783642314230

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: 24th International Conference, C.A.V. 2012, Berkeley, Ca, U.S.A., July 7-13, 2012 Proceedings (Lecture Notes in Computer ... Issues) (Lecture Notes in Computer Science)

Medimops DE

53.49 EUR 53.49 EUR

12-06-2026 06:31:34

Access to the deal

Gesponsert Computer Aided Verification

SpringerLink DE

53.49 EUR 53.49 EUR

11-06-2026 23:44:40

Access to the deal

Computer Aided Verification

Gesponsert Computer Aided Verification: 24th International Conference, C.A.V. 2012, Berkeley, Ca, U.S.A., July 7-13, 2012 Proceedings (Lecture Notes in Computer ... Issues) (Lecture Notes in Computer Science)

Gesponsert Computer Aided Verification

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl