Certified Programming with Dependent Types - Adam Chlipala - Livros - MIT Press - 9780262545747 - 7 de junho de 2022
Caso a capa e o título não sejam correspondentes, considere o título como correto

Adam Chlipala
Certified Programming with Dependent Types

Preço
R$ 329,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 11 - 17 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Receba avisos sobre novos lançamentos de Adam Chlipala

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

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  

Mais da mesma editora

Ver tudo de Adam Chlipala