Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10982)
53.49 EUR
Entdecken Sie in diesem Band die neuesten Erkenntnisse zur formalen Verifikation, von theoretischen Ansätzen bis zu konkreten Fallstudien, und erfahren Sie, wie CAV 2018 die Entwicklung sicherer Software vorantreibt.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE
Gesponsert
Galaxus.de
Computer Aided Verification, Fachbücher von Hana Chockler, Georg Weissenbacher
Galaxus.de
20-05-2026 13:08:13
Ähnliche Produkte
Computer Aided Verification
53.49 EUR
Computer Aided Verification
42.79 EUR
Computer Aided Verification
42.79 EUR
Computer Aided Verification
42.79 EUR
Computer Aided Verification
42.79 EUR
Computer Aided Verification
42.79 EUR