Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, ... Notes in Computer Science, Band 11388)
53.49 EUR
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
SpringerLink DE
Verification, Model Checking, and Abstract Interpretation
SpringerLink DE
21-04-2026 20:54:58
Gesponsert
Galaxus.de
Verification, Model Checking, and Abstract Interpretation, Fachbücher von Ruzica Piskac, Constantin Enea
Galaxus.de
21-04-2026 20:36:19
