Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios.
Crie uma conta gratuitamente
Correio DHL 7.99 €
Correio DPD 4.49 €
Ponto DPD 3.99 €
Correio GLS 5.49 €
Correio MRW 5.49 €
Ponto GLS 4.49 €
Contacto
Como comprar
Ajuda
Entrega
Correio DHL 7.99 €
Correio DPD 4.49 €
Ponto DPD 3.99 €
Correio GLS 5.49 €
Correio MRW 5.49 €
Ponto GLS 4.49 €
Guia de compras
A minha conta
▸
Vazio :-(
0
Isabelle/HOL
A Proof Assistant for Higher-Order Logic
Língua
Inglês
Inglês
Livro
Capa mole
This textbook-like tutorial is a self-contained introduction to interactive proof, specification, an...
Descrição completa
Código Libristo: 01564177
?
161 b
161 b
66.47
€
Armazenamento externo
Envio em 10-18 dias
Política de devolução de 30 dias
Os clientes também compraram
/
Capa mole
22.39
€
/
Capa mole
33.94
€
This textbook-like tutorial is a self-contained introduction to interactive proof, specification, and verification in higher-order logic, using the proof assistant Isabelle 2002. In contrast to existing Isabelle documentation, this book provides a direct route into higher-order logic by bypassing first-order logic and minimizing discussion of meta-theory.Isabelle is a generic system for implementing logical formalisms, and Isabelle/HOL is the specialization of Isabelle for higher-order logic; this theorem prover is well suited as a specification and verification system.
Atriz
&
Poliglota
EWA KASP
para
Reproduzir vídeo
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.
Sobre o livro
Nome completo
Isabelle/HOL
Língua
Inglês
Inglês
Encadernação
Livro - Capa mole
Data de emissão
2002
Número de páginas
226
EAN
9783540433767
ISBN
3540433767
Código Libristo
01564177
Peso
370
Dimensões
235 x 157 x 19
Categorias
Tecnologia, Engenharia & Agricultura
>
Eletrónica & engenharia das comunicações
>
Engenharia eletrónica
>
Engenharia de controlos automáticos
>
Robótica
Informática & tecnologia da informação
>
Ciência informática
>
Inteligência artificial
>
Aprendizagem mecânica
Informática & tecnologia da informação
>
Programação & engenharia informática
>
Compiladores e intérpretes
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Livro de capa dura
182.31
€
Conselheiro de livros Libroamiko
Ao utilizar este chat, está a comunicar com inteligência artificial generativa. Ao utilizá-lo, concorda também com o processamento de dados pessoais.
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?
Olá, sou o Libroamiko, posso ajudar?