Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
53.49 EUR
Ein kompakt zusammengestelltes Werk aus der VMCAI‑Konferenz 2015, das aktuelle Methoden der formalen Verifikation, Modellprüfung und abstrakten Interpretation beleuchtet; wertvoll für Entwickler und Akademiker gleichermaßen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
SpringerLink DE
Verification, Model Checking, and Abstract Interpretation
SpringerLink DE
21-04-2026 21:09:47
Gesponsert
Galaxus.de
Verification, Model Checking, and Abstract Interpretation, Fachbücher von Kim Gulstrand Larsen, Deepak D'Souza, Akash Lal
Galaxus.de
21-04-2026 06:21:25
