Ergebnisse filtern
-
- 1
-
- 1
-
- 1
-
- 1
-
- 1
-
- 1
-
- 1
-
Paulin-Mohring / Gimenez Types for Proofs and Programs
International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65137-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort