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
€ 71,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 25 de ago - 8 de set
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 ( por exemplo Book )