Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Die Proceedings der 24. CAV-Konferenz in Berkeley präsentieren neueste Fortschritte in formaler Verifikation, Modellprüfung und Theorem‑Proving, verfasst von internationalen Spitzenforschern des Bereichs.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE Ä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