SKU/Artículo: AMZ-B0FY6GQHWN

IDRIS 2 PROGRAMMING FOR DEPENDENT TYPE SYSTEMS: Formal software verification and provably correct computation models

Format:

Paperback

Kindle

Paperback

Detalles del producto
Disponibilidad:
En stock
Peso con empaque:
0.26 kg
Devolución:
Condición
Nuevo
Producto de:
Amazon
Viaja desde
USA

Sobre este producto
  • Learn how Idris 2 enables developers to build mathematically verified software — explore dependent types, proofs, and logic-based computation.
AR$53.009
60% OFF
AR$21.200

IMPORT EASILY

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

AR$53.009
60% OFF
AR$21.200

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

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