Ergebnisse filtern
-
- 4
- 3
-
- 2
- 2
- 2
- 1
-
- 5
- 2
-
- 7
-
- 7
-
- 7
-
- 7
-
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 -
Audebaud / Paulin-Mohring Mathematics of Program Construction
9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings2008Verlag: SpringerISBN: 978-3-540-70594-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
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 / Paulin-Mohring / Pichardie Interactive Theorem Proving
4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39634-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
Filliatre / Paulin-Mohring / Werner Types for Proofs and Programs
International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers2006Verlag: SpringerISBN: 978-3-540-31429-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort