Lambda Calculus with Types

Name: Lambda Calculus with Types
Brand: Henk Barendregt
Price: 314701.51 ARS
Availability: InStock

ID del producto: 338135670

Transacción segura

Comprados juntos con frecuencia

Descripción

ISBN-13: 9780521766142

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the...

Preguntas comunes

Trustpilot

Trustscore 4.5 | Más de 7,300 reseñas

Alí H.

Envío rápido y embalaje excelente. La herramienta Leatherman parece de primera calidad y resistente.

Hace 1 día

Por Ravi S.

Me encantó la variedad de productos disponibles. Definitivamente volveré a comprar.

Hace 2 meses

Ver todas las reseñas de confianza

Compre globalmente, ahorre con Desertcart

Valor por dinero

Precios competitivos en una amplia gama de productos.

Compre globalmente

Sirviendo a más de 300 millones de compradores en más de 200 países

Protección mejorada

Opciones de pago confiables que adoran los compradores de todo el mundo

Garantía del cliente

Opciones de pago confiables amadas por los compradores de todo el mundo.

Aplicación DesertCart

Compre sobre la marcha, en cualquier momento y en cualquier lugar.

AR$314701

Argentinaalmacenar

Devoluciones gratuitas

30 diaspara usuarios de membresía PRO

15 diassin membresía

Transacción segura

Trustpilot

Trustscore 4.5 | Más de 7,300 reseñas

Sneha T.

Recibí mi producto en perfectas condiciones. Excelente servicio en general.

Hace 1 mes

Abdullah B.

¡Excelente precio para un producto auténtico! ¡Envío internacional rápido también!

Hace 3 semanas

Ver todas las reseñas de confianza