Recomienda este artículo a tus amigos:
Certified Programming with Dependent Types Adam Chlipala
Precio
Mex$ 1.146
sin IVA
Pedido desde almacén remoto
Entrega prevista 24 de jun. - 6 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Certified Programming with Dependent Types
Adam Chlipala
| Medios de comunicación | Libros Book |
| Publicado | 7 de junio de 2022 |
| ISBN13 | 9780262545747 |
| Editores | MIT Press |
| Páginas | 436 |
| Dimensiones | 150 × 220 × 20 mm · 680 g |
| Lengua | Inglés |
