Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
53.49 EUR
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-06-2026 14:57:59
SpringerLink DE
Gesponsert
Galaxus.de
Computer Aided Verification, Fachbücher von Corina S. Pasareanu, Daniel Kroening
Galaxus.de
12-06-2026 01:19:53
Ähnliche Produkte
Computer Aided Verification
53.49 EUR
