Ergebnisse filtern
-
- 1
-
- 1
-
- 1
-
- 1
-
- 1
-
- 1
-
- 1
-
Grumberg / Nipkow / Pfaller Formal Logical Methods for System Security and Correctness
Erscheinungsjahr 2008Verlag: IOS PressISBN: 978-1-58603-843-4Medium: BuchLieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort