Programming with Higher-Order Logic - Dale Miller - Livros - Cambridge University Press - 9780521879408 - 11 de junho de 2012
Caso a capa e o título não sejam correspondentes, considere o título como correto

Dale Miller
Programming with Higher-Order Logic

Receba um e-mail quando o item estiver disponível
Você tem um perfil? Entrar
Receba avisos sobre novos lançamentos de Dale Miller

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

Formal systems in computer science frequently involve specifications of computations over syntactic structures. In this book, the authors develop a programming language based on a simply typed version of higher-order logic and show that it provides an elegant approach to performing computations over structures embodying binding.

320 pages, 81 b/w illus.

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 11 de junho de 2012
ISBN13 9780521879408
Editoras Cambridge University Press
Páginas 320
Dimensões 160 × 237 × 23 mm   ·   616 g
Idioma Inglês  

Mais da mesma editora

Ver tudo de Dale Miller ( por exemplo CD , Paperback Book , SCD e Hardcover Book )