Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, ... Notes in Computer Science, Band 11388)
Ein Sammelband aus der VMCAI‑Konferenz 2019, der aktuelle Methoden der formalen Verifikation, Modellprüfung und abstrakten Interpretation präsentiert und neue theoretische Ansätze beleuchtet.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Verification, Model Checking, and Abstract Interpretation, Fachbücher von Constantin Enea, Ruzica Piskac
Galaxus.de
26-07-2026 05:24:05
Gesponsert
SpringerLink DE
Verification, Model Checking, and Abstract Interpretation
SpringerLink DE
26-07-2026 08:08:58
