Handbook of Practical Logic and Automated Reasoning - John Harrison - Livros - Cambridge University Press - 9780521899574 - 12 de março de 2009
Caso a capa e o título não sejam correspondentes, considere o título como correto

Handbook of Practical Logic and Automated Reasoning

Preço
R$ 988,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 23 de set - 5 de out
Receba avisos sobre novos lançamentos de John Harrison
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

A self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. It's ideal for those seeking a one-stop source for the subject. The approach is constructive, concrete and algorithmic: importantly, methods are described with reference to actual implementations (for which code is supplied).


702 pages, 10 tables 155 exercises

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 12 de março de 2009
ISBN13 9780521899574
Editoras Cambridge University Press
Páginas 702
Dimensões 179 × 252 × 42 mm   ·   1,41 kg
Idioma Inglês  

Mais por John Harrison

Mostrar tudo

Mais da mesma editora