Verified Software. Theories, Tools, and Experiments
53.49 EUR
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
06-06-2026 14:43:10
