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 
SpringerLink DE
Gesponsert
Galaxus.de
Verified Software: Theories, Tools, and Experiments, Fachbücher von Arie Gurfinkel, Sanjit A. Seshia
Galaxus.de
21-04-2026 19:57:48
