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: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE
Gesponsert
Galaxus.de
Verified Software. Theories, Tools, and Experiments, Fachbücher von Philipp Rümmer, Ruzica Piskac
Galaxus.de
22-04-2026 21:44:34
