Verified Software: Theories, Tools, and Experiments
Ein praxisnahes Sammelsurium aus der VSTTE‑Konferenz, das theoretische Modelle, moderne Tools und experimentelle Studien zur verifizierten Softwareentwicklung präsentiert und Entwicklern tiefere Einblicke in formale Methoden gibt.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
Galaxus.de
Verified Software: Theories, Tools, and Experiments, Fachbücher von Arie Gurfinkel, Sanjit A. Seshia
Galaxus.de
25-07-2026 20:08:54
SpringerLink DE 
