Verified Software. Theories, Tools, and Experiments
Ein kompakter Sammelband der VSTTE‑Konferenz aus Oxford, der neueste Erkenntnisse zur verifizierten Software bietet – von theoretischen Modellen über Werkzeuge bis zu experimentellen Studien, alles in 340 englischen Seiten.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Verified Software. Theories, Tools, and Experiments, Fachbücher von Philipp Rümmer, Ruzica Piskac
Galaxus.de
25-07-2026 03:04:39
Medimops DE 
SpringerLink DE 
