Ergebnisse filtern
-
- 4
-
- 1
- 1
- 1
- 1
-
- 1
- 1
- 1
- 1
- 4
- 1
- 1
-
- 2
- 2
-
- 4
-
- 4
-
- 4
-
- 4
Mathematik | Informatik
-
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
-
Paulin-Mohring / Audebaud Mathematics of Program Construction
9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-70593-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Blazy / Pichardie / Paulin-Mohring Interactive Theorem Proving
4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-39633-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Filliatre / Paulin-Mohring / Werner Types for Proofs and Programs
International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-31428-8Medium: 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
