Conte aos seus amigos sobre este item:
Certified Programming with Dependent Types
Adam Chlipala
Preço
₺ 2.878
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 30 de jul - 5 de ago
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 )