Ergebnisse filtern
-
- 5
- 4
-
- 1
- 2
- 1
- 2
- 1
- 1
- 1
-
- 2
- 1
- 4
- 1
- 1
-
- 2
- 7
-
- 9
-
- 9
-
- 9
-
Luo Computation and Reasoning - A Type Theory for Computer Science
Erscheinungsjahr 1994Verlag: OUP OxfordISBN: 978-0-19-853835-6Medium: Buch114,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chatzikyriakidis / Luo Formal Semantics in Modern Type Theories
1. Auflage 2020Verlag: John Wiley & SonsISBN: 978-1-119-48922-1Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)139,99 € (inkl. MwSt.)
sofort verfügbar -
Chatzikyriakidis / Luo Modern Perspectives in Type-Theoretical Semantics
1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-50422-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark106,99 € (inkl. MwSt.)
sofort verfügbar -
Chatzikyriakidis / Luo Modern Perspectives in Type-Theoretical Semantics
Softcover Nachdruck of the original 1. Auflage 2017Verlag: SpringerISBN: 978-3-319-84397-1Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chatzikyriakidis / Luo Modern Perspectives in Type-Theoretical Semantics
1. Auflage 2017Verlag: SpringerISBN: 978-3-319-50420-9Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chatzikyriakidis / Luo Formal Semantics in Modern Type Theories
1. Auflage 2020Verlag: John Wiley & SonsISBN: 978-1-119-48921-4Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)139,99 € (inkl. MwSt.)
sofort verfügbar -
Chatzikyriakidis / Luo Formal Semantics in Modern Type Theories
1. Auflage 2021Verlag: WileyISBN: 978-1-78630-128-4Medium: Buch163,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Callaghan / Luo / McKinna Types for Proofs and Programs
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected PapersErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-45842-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Callaghan / Luo / McKinna Types for Proofs and Programs
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43287-6Medium: 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