SKU/Artículo: AMZ-1484292588

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Disponibilidad:
Fuera de stock
Peso con empaque:
0.44 kg
Devolución:
No
Condición
Nuevo
Producto de:
Amazon

Fuera de stock

Selecciona otra opción o busca otro producto.

Este producto viaja de USA a tus manos en