Isabelle: a Generic Theorem Prover - Lecture Notes in Computer Science - Lawrence C. Paulson - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540582441 - 28 de julho de 1994
Caso a capa e o título não sejam correspondentes, considere o título como correto

Lawrence C. Paulson
Isabelle: a Generic Theorem Prover - Lecture Notes in Computer Science 1994 edition

Preço
R$ 283,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 5 - 11 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Receba avisos sobre novos lançamentos de Lawrence C. Paulson

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

An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume outlines theoretical aspects and then demonstrates Isabelle's use in practice. All functions are described, and advice is given on correct usage.

329 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 28 de julho de 1994
ISBN13 9783540582441
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 329
Dimensões 156 × 234 × 18 mm   ·   494 g
Idioma Inglês  
Contribuidor T. Nipkow

Mais da mesma editora

Ver tudo de Lawrence C. Paulson