Verification Model Checking and Abstract Interpretation
53.49 EUR
Ein Fachbuch aus der VMCAI‑Konferenz in Paris, das aktuelle Forschungsergebnisse zu formaler Verifikation, Modellprüfung und abstrakter Interpretation zusammenfasst; wertvoll für Studierende und Forscher gleichermaßen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
SpringerLink DE
Verification, Model Checking, and Abstract Interpretation
SpringerLink DE
21-04-2026 21:01:48
Gesponsert
Galaxus.de
Verification, Model Checking, and Abstract Interpretation, Fachbücher von Ahmed Bouajjani, David Monniaux
Galaxus.de
21-04-2026 20:10:29
