Certified Programming with Dependent Types: Pragmatic the
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press)
53.43 €
Conseguir Oferta 53.43 €
Me gusta!
104 Me Gusta
(3/104)
(3/104)
TOTAL OFERTAS 3
3Usado(s)desde: 53,43 € hasta: 138,00 €2Nuevo(s)desde: 77,00 € hasta: 102,43 €
1desde: 53,43 € hasta: 53,43 €
SKU 0262026651
-
Entrega Rápida -
Pago Seguro
Descripcion Detalles de Producto
| Marca | Mit press |
|---|---|
| Fabricante | The mit press |
| Grupo Producto | Libro |
| Relacionado | Tapa dura |
| Color | |
| Fecha Lanzamiento | |
| Unidades | |
| EAN | |
| ISBN | |
| SKU | |
| Páginas | |
| ASIN | 0262026651 |
