Conte aos seus amigos sobre este item:
Certified Programming with Dependent Types
Adam Chlipala
Preço
Mex$ 1.627,10
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 13 - 22 de mai
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 | 680 g |
| Idioma | English |
Ver tudo de Adam Chlipala ( por exemplo Book )