Conte aos seus amigos sobre este item:
Certified Programming with Dependent Types Adam Chlipala
Preço
€ 59,99
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 8 - 16 de jan de 2026
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Certified Programming with Dependent Types
Adam Chlipala
| Mídia | Livros Book |
| Lançado | 7 de junho de 2022 |
| ISBN13 | 9780262545747 |
| Editoras | MIT Press |
| Páginas | 436 |
| Dimensões | 150 × 220 × 20 mm · 680 g |
| Idioma | Inglês |
Ver tudo de Adam Chlipala ( por exemplo Book )