Ergebnisse filtern
-
- 1
- 1
-
- 1
- 1
-
- 2
- 2
-
- 2
-
- 2
-
- 2
-
- 2
-
- 2
Programmierung | Softwareentwicklung
-
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
