Ergebnisse filtern
-
- 3
- 1
-
- 1
- 1
- 1
- 1
-
- 2
- 2
- 2
- 4
-
- 2
- 2
-
- 2
- 2
-
- 4
-
- 4
-
- 4
Mathematik | Informatik
-
Nederpelt / Geuvers Type Theory and Formal Proof
An IntroductionErscheinungsjahr 2014Verlag: Cambridge University PressISBN: 978-1-316-05634-9Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)67,99 € (inkl. MwSt.)
sofort verfügbar
-
Nederpelt / Geuvers Type Theory and Formal Proof
Erscheinungsjahr 2016Verlag: Cambridge University PressISBN: 978-1-107-03650-5Medium: Buch96,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kamareddine / Nederpelt / Laan A Modern Perspective on Type Theory
From its Origins until Today1. Auflage. Softcover version of original hardcover Auflage 2004Verlag: Springer NetherlandsISBN: 978-90-481-6639-8Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kamareddine / Nederpelt / Laan A Modern Perspective on Type Theory
From its Origins until Today2004Verlag: Springer NetherlandsISBN: 978-1-4020-2334-7Medium: Buch192,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
