Lambda Kalkül mit Typen, Hardcover von Barendregt, Henk; Dekkers, Wil; Stat...
103,35 €
Lambda Calculus With Types, Hardcover by Barendregt, Henk; Dekkers, Wil; Statman, Richard; Alessi, Fabio (CON); Bezem, Marc (CON), ISBN 0521766141, ISBN-13 9780521766142, Like New Used, Free P&P in the UK This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
Jetzt bei Ebay:
