ELIGE TUS LIBROS ¡EL ENVÍO ES GRATIS!*
* Envíos a partir de 18€ para España peninsular, Tenerife, Gran Canaria y Mallorca
Detalles del libro
| Editorial | College Publications |
|---|---|
| Edición | (30/04/2012) | Páginas | 656 |
| Idioma | Inglés |
| ISBN | 9781848900660 |
| ISBN-10 | 184890066X |
Detalles del libro
| Autor/es | Henk Barendregt |
|---|---|
| Editorial | College Publications |
| Edición | (30/04/2012) | Páginas | 656 |
| Idioma | Inglés |
| ISBN | 9781848900660 |
| ISBN-10 | 184890066X |
Otros clientes que compraron el libro The Lambda Calculus. Its Syntax and Semantics también compraron:
-
An Introduction To Lambda Calculi For Computer Scientists
- Chris Hankin
- The lambda-calculus lies at the very foundations of computerscience. Besides its historical role in computability theory it hashad significant influence on programming language design andimplementation, denotational semantics, and domain theory. The booke
25,83€24,54€
Otros libros de Literatura en Inglés:
Otra información de interés
- Portada: The Lambda Calculus. Its Syntax and Semantics de College Publications
- Editorial: College Publications | 30/04/2012
- Sinopsis:
El autor de The Lambda Calculus. Its Syntax and Semantics, con isbn 978-1-84890-066-0, es Henk Barendregt, esta publicación tiene seiscientas cincuenta y seis páginas.
Resumen
Otros libros de Henk Barendregt son Lambda Calculus With Types y Types For Proofs And Programs.