Concrete Semantics: With Isabelle / HOL - Tobias Nipkow - Livros - Springer International Publishing AG - 9783319105413 - 15 de dezembro de 2014
Caso a capa e o título não sejam correspondentes, considere o título como correto

Tobias Nipkow
Concrete Semantics: With Isabelle / HOL 2014 edition

Preço
R$ 454,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 de dez - 5 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:

Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally. The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts.

298 pages, 86 black & white illustrations, 1 colour illustrations, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 15 de dezembro de 2014
ISBN13 9783319105413
Editoras Springer International Publishing AG
Páginas 298
Dimensões 155 × 235 × 19 mm   ·   616 g
Idioma Inglês  

Mais por Tobias Nipkow

Mostrar tudo

Ver tudo de Tobias Nipkow ( por exemplo Paperback Book e Hardcover Book )