Verification, Model Checking, and Abstract Interpretation
53.49 EUR
Erkunden Sie die neuesten Fortschritte der formalen Verifikation, Modellprüfung und abstrakten Interpretation anhand von Beiträgen aus VMCAI 2018 in Los Angeles. Das Buch liefert praxisnahe Beispiele, theoretische Analysen und innovative Algorithmen für sichere Softwareentwicklung und zuverlässige Systeme.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
SpringerLink DE
Verification, Model Checking, and Abstract Interpretation
SpringerLink DE
21-04-2026 21:02:26
Gesponsert
Galaxus.de
Verification, Model Checking, and Abstract Interpretation, Fachbücher von Jens Palsberg, Isil Dillig
Galaxus.de
21-04-2026 20:24:31
