Name: Computer Aided Verification
Brand: Swarat Chaudhuri
SKU: ID12528494

Computer Aided Verification

53.49 EUR 9% Off 59.00 EUR

Die Proceedings der CAV 2016 präsentieren wegweisende Arbeiten zur automatisierten Verifikation, von theoretischen Grundlagen über effiziente Algorithmen bis hin zu praxisnahen Anwendungen in Industrie und Forschung.

Marke: Swarat Chaudhuri

ISBN: 3319415271

Angebote
Merkmale

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

-9%

Gesponsert Computer Aided Verification

Hugendubel

53.49 EUR 59.00 EUR

07-11-2026 12:44:50

Access to the deal

-9%

Gesponsert Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science)

Medimops DE

53.49 EUR 59.00 EUR

06-11-2026 07:15:22

Access to the deal

Gesponsert Computer Aided Verification

SpringerLink DE

59.00 EUR 59.00 EUR

06-11-2026 06:28:42

Access to the deal

Computer Aided Verification

Gesponsert Computer Aided Verification

Gesponsert Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (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

Computer Aided Verification

Gesponsert Computer Aided Verification

Gesponsert Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science)

Gesponsert Computer Aided Verification

Ähnliche Produkte

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science, 12759, Band 12759)