Adapting Proofs-as-Programs: The Curry--Howard Protocol - Monographs in Computer Science - Iman Poernomo - Livros - Springer-Verlag New York Inc. - 9781441920140 - 19 de novembro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Iman Poernomo
Adapting Proofs-as-Programs: The Curry--Howard Protocol - Monographs in Computer Science Softcover reprint of hardcover 1st ed. 2005 edition

Preço
€ 144,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 13 - 21 de jan de 2026
Presentes de Natal podem ser trocados até 31 de janeiro

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

Também disponível como:

This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems.

420 pages, black & white illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 19 de novembro de 2010
ISBN13 9781441920140
Editoras Springer-Verlag New York Inc.
Páginas 420
Dimensões 155 × 235 × 22 mm   ·   603 g
Idioma Inglês  

Ver tudo de Iman Poernomo ( por exemplo Hardcover Book e Paperback Book )