- Libreria
- >
- Libri in lingua
- >
Lambda Calculus with Types - 9780521766142
Un libro in lingua di Henk Barendregt Wil Dekkers Richard Statman Alessi Fabio (CON) Bezem Marc (CON) edito da Cambridge Univ Pr, 2013
- € 82.30
- Il prezzo è variabile in funzione del cambio della valuta d’origine
This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
Informazioni bibliografiche
- Titolo del Libro in lingua: Lambda Calculus with Types
- Lingua: English
- Autori : Henk Barendregt Wil Dekkers Richard Statman Alessi Fabio (CON) Bezem Marc (CON)
- Editore: Cambridge Univ Pr
- Data di Pubblicazione: 31 Luglio '13
- Genere: MATHEMATICS
- ISBN-10: 0521766141
- EAN-13: 9780521766142