Ergebnisse filtern
-
- 1
-
- 1
-
- 1
- 1
- 1
- 1
- 1
- 1
-
- 1
-
- 1
-
- 1
-
- 1
-
- 1
-
Ringer / Palmskog / Sergey QED at Large
A Survey of Engineering of Formally Verified SoftwareErscheinungsjahr 2019Verlag: Now Publishers IncISBN: 978-1-68083-594-6Medium: Buch121,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort