Comenzó nuestro aniversario! Todo 10% OFF

Aniversario Tiendamia! %10 off

Alternar navegación
  • Amazon
  • Ebay
  • China
$
Mi carrito
Atrás

SKU/Artículo: AMZ-0262162091

Types and Programming Languages (Mit Press)

Format:

Hardcover

Hardcover

Kindle

Detalles del producto
Disponibilidad:
En stock
Peso con empaque:
1.49 kg
Devolución:
Sí
Condición
Nuevo
Producto de:
Amazon
Viaja desde
USA
Sobre este producto
  • A comprehensive introduction to type systems and programming languages.A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems—and of programming languages from a type-theoretic perspective—has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.
AR$252.307
31% OFF
AR$174.009

IMPORT EASILY

By purchasing this product you can deduct VAT with your RUT number

AR$252.307
31% OFF
AR$174.009

10% OFF con cupon ANIVERSARIO10

Pagá fácil y rápido con Mercado Pago o MODO

Llega en 12 a 18 días hábiles
con envío
Tienes garantía de entrega
Medios de pago
Este producto viaja de USA a tus manos en
Medios de pago

Productos Relacionados

Ver más

Otros Productos

Compra protegida

Disfruta de una experiencia de compra segura y confiable

¿Cómo comprar?

Condiciones según método de envío

Correo privado:

- El monto de compra no debe superar los U$S 3.000 en valor productos.

- El paquete no debe pesar más de 50kg (cada unidad no debe superar los 20kg).

- El destinatario debe tener CUIT o CUIL para realizar la compra y también tener una dirección fiscal electrónica cargada en su perfil de AFIP.

- No se puede comprar más de 3 unidades de un mismo producto, o que pertenezcan a una misma familia / categoría por envío.

- Cada usuario tiene un límite de 5 compras personales anuales (Cada una de hasta U$S 3.000).

Correo Argentino:

- No se puede comprar más de 3 unidades de un mismo producto, o que pertenezcan a una misma familia / categoría por envío.

- Cada usuarios puede utilizar 12 franquicias de hasta U$S 50 libres de impuestos que ofrece la nueva reglamentación de AFIP. En caso de que se supere ese cupo, el comprador deberá abonar en concepto de impuestos, el 50% sobre el costo del producto.

- El régimen Puerta a Puerta abarca todos los envíos que pesan hasta 20 kilos y tienen un valor de hasta U$S 1.000.

- Los clientes que hagan compras bajo esta modalidad no deben realizar la Declaración de Recepción de Compra.


Más información

¡Aseguramos la entrega de tu orden!

Todas las órdenes están aseguradas para llegar a destino. Si tu pedido no llega luego de 75 días hábiles de haberlo realizado, te devolvemos el dinero. En el caso de Correo Argentino, deberás haber realizado la declaración jurada y el pago de la tasa postal mediante VEP (Volante Electrónico de Pago) en el plazo indicado.

¿Cómo solicitar una devolución?

Para solicitar una devolución, el cliente debe realizarlo a través de su cuenta de Tiendamia en los primeros 7 días corridos desde la entrega de la orden. Este proceso está sujeto a la aprobación del departamento de Devoluciones (lo cual puede demorar de 48hs a 72hs hábiles). En caso de no tener la opción en la web, el cliente debe contactarse con Atención al Cliente para iniciar la solicitud.

Más información

Tarjetas de Crédito y Débito

Visa

Mastercard

American Express

Pagos a través de PayPal

Compra procesada en dólares con dinero en cuenta o tarjetas internacionales.

Paypal

Pagos a través de MODO

Compra procesada en pesos desde la App de tu banco.

PayPal

¡Elegí entre pagar en pesos o en dólares!

Más opciones, mayor flexibilidad. Seleccioná la moneda al momento de pagar y disfrutá de tu compra sin sorpresas.


Más información

¿Cómo comprar?

Hacemos todo por ti

Información para tu compra

  • Debes ser ciudadano Uruguayo mayor de 18 años.
  • Los datos del titular de la tarjeta, deben coincidir con los datos del titular de la compra.
  • Cada compra tiene límite de USD 200 en valor de productos sin incluir el costo del envío.
  • Hay determinados productos que están prohibidos por la aduana de tu país. Ver productos prohibidos
  • Compras ilimitadas en libros, CDs, DVDs (excepto juegos) y vinilos
Ver más información

Tarjetas de Crédito y Débito

Visa

Mastercard

American Express

Pagos a través de PayPal

Compra procesada en dólares con dinero en cuenta o tarjetas internacionales.

Paypal

Pagos a través de MODO y Mercado Pago

MODO

MERCADO PAGO

Tienes garantía de entrega

Con Tiendamia todas tus compras cuentan con Garantía de entrega o devolución total de tu dinero.

Compras 100% seguras y garantizadas, para que pidas lo que sueñas y lo recibas del mundo a tu puerta.

¡Suscribite y hacé que todo llegue con ofertas!

Ciudadano, unite a nuestro newsletter y recibí un cupón sorpresa para comprar millones de productos de USA y China. ¡Ahora con Tiendamia, todo llega directo a tu puerta!