Ergebnisse filtern
Programmierung | Softwareentwicklung
-
Dezani-Ciancaglini / Plotkin Typed Lambda Calculi and Applications
Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-59048-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Plotkin / Stirling / Tofte Proof, Language, and Interaction: Essays in Honour of Robin Milner
Neuausgabe 2000Verlag: MIT PRISBN: 978-0-262-16188-6Medium: Buch74,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort