Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Ein Fachbuch aus der CAV‑Konferenz 2015 in San Francisco, das neueste Methoden zur computerunterstützten Verifikation vorstellt und praxisnahe Fallstudien sowie theoretische Grundlagen kombiniert.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science)
Medimops DE
11-08-2026 14:59:40
SpringerLink DE Ähnliche Produkte
Computer Aided Verification
53.49 EUR
