Ergebnisse filtern
-
- 3
- 3
-
- 1
- 2
- 1
- 1
- 1
-
- 1
- 2
- 2
- 1
- 3
- 6
- 1
- 1
-
- 3
- 1
- 2
-
- 3
- 3
-
- 6
-
- 6
-
- 6
-
Nederpelt Type Theory and Formal Proof
An IntroductionErscheinungsjahr 2014Verlag: Cambridge University PressISBN: 978-1-316-05398-0Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)58,99 € (inkl. MwSt.)
sofort verfügbar
-
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 / Laan / Nederpelt A Modern Perspective on Type Theory
From its Origins until Today1. Auflage 2006Verlag: Springer NetherlandISBN: 978-1-4020-2335-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark128,39 € (inkl. MwSt.)
sofort verfügbar
-
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
