Ergebnisse filtern
-
Streicher Semantics of Type Theory
Correctness, Completeness and Independence Results1. Auflage 2012Verlag: BirkhäuserISBN: 978-1-4612-6757-7Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Curien Categorical Combinators, Sequential Algorithms, and Functional Programming
1. Auflage 2012Verlag: BirkhäuserISBN: 978-1-4612-6704-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
O'Hearn / Tennent Algol-like Languages
1. Auflage 2011Verlag: BirkhäuserISBN: 978-1-4612-8661-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort