Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science)
Entdecken Sie in diesem Fachbuch die neuesten Fortschritte der formalen Verifikation, vorgestellt auf der CAV-Konferenz 2015 in San Francisco; es bietet tiefe Einblicke in Modellierung, Analyse und praktische Anwendungen von Software‑Sicherheit.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (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
