Ergebnisse filtern
Programmier- und Skriptsprachen
-
Coquand / Smith / Dybjer Types for Proofs and Programs
International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41517-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