Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science - Christian Prehofer - Livros - Birkhauser Boston Inc - 9780817640323 - 18 de dezembro de 1997
Caso a capa e o título não sejam correspondentes, considere o título como correto

Christian Prehofer
Solving Higher-order Equations: from Logic to Programming - Progress in Theoretical Computer Science 1998 edition

Preço
R$ 613,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 2 - 6 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 develops techniques for equational reasoning and declarative programming based on higher-order logic. The author presents a framework for the full integration of declarative programming models and shows its application.

188 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 18 de dezembro de 1997
ISBN13 9780817640323
Editoras Birkhauser Boston Inc
Páginas 188
Dimensões 156 × 234 × 12 mm   ·   494 g
Idioma Inglês  

Ver tudo de Christian Prehofer ( por exemplo Hardcover Book e Paperback Book )