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

Computer Aided Verification

53.49 EUR 9% Off 59.00 EUR

Ein wissenschaftliches Werk aus der 28. CAV-Konferenz in Toronto, das neueste Fortschritte in formaler Verifikation und Modellprüfungen zusammenfasst und Forschern sowie Praktikern tiefgehende Einblicke bietet.

Marke: Swarat Chaudhuri

ISBN: 9783319415390

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 10:13:59

Access to the deal

-9%

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

Gesponsert Computer Aided Verification

Ähnliche Produkte

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science, Band 575)