Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Língua InglêsInglês
Livro Livro de capa dura
Livro Interactive Theorem Proving and Program Development Yves Bertot
Código Libristo: 02129535
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maio 2004
Coq is an interactive proof assistant for the development of mathematical theories and formally cert... Descrição completa
? points 308 b
126.27 €
Armazenamento externo Envio em 10-13 dias

Até 30 dias para devoluções

Os clientes também compraram

O tom bozku ani muk Meghan Quinn / Livro Capa mole
common.buy 18.32 €

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Interactive Theorem Proving and Program Development
Autor Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring
Língua Inglês
Encadernação Livro - Livro de capa dura
Data de emissão 2004
Número de páginas 472
EAN 9783540208549
ISBN 3540208542
Código Libristo 02129535
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 912
Dimensões 163 x 239 x 36

Categorias

Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática
Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Análise e conceção de sistemas
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Sistemas operativos
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ário

Também pode estar interessado em

Interactive Theorem Proving and Program Development Yves Bertot / Livro Capa mole
common.buy 89.52 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Livro Capa mole
common.buy 58.07 €
Cold Aqueous Planetary Geochemistry with FREZCHEM Giles M. Marion / Livro Livro de capa dura
common.buy 107.54 €
Interactive Video Riad Hammoud / Livro Capa mole
common.buy 107.54 €
Interactive Theorem Proving Matt Kaufmann / Livro Capa mole
common.buy 114.55 €
Interactive Theorem Proving Marko Van Eekelen / Livro Capa mole
common.buy 58.07 €
Interactive Theorem Proving Lennart Beringer / Livro Capa mole
common.buy 58.07 €
Data Visualization with Excel Dashboards and Reports Dick Kusleika / Livro Capa mole
common.buy 31.64 €
Lost Spells Robert Macfarlane / Livro Livro de capa dura
common.buy 15.01 €
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art / Livro Capa mole
common.buy 6.70 €
The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick / Livro Capa mole
common.buy 38.86 €
Relentless: 12 Rounds to Success Eddie Hearn / Livro Livro de capa dura
common.buy 27.34 €
Deyrolle: French Botanical Art Emmanuelle Polle / Livro Capa mole
common.buy 19.42 €
Dance of the Serpents Oscar de Muriel / Livro Capa mole
common.buy 11.11 €
Inclusive Teaching in the Early Childhood Science Classroom Almarode / Livro Capa mole
common.buy 63.18 €
Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS / Livro Capa mole
common.buy 37.64 €
Fighters Across Frontiers Ismee Tames / Livro Livro de capa dura
common.buy 38.44 €
In the Ruins of Neoliberalism Wendy Brown / Livro Capa mole
common.buy 28.53 €
Cute Hand Lettering / Livro Capa mole
common.buy 15.02 €
Recollections of My Non-Existence / Livro Livro de capa dura
common.buy 15.02 €
Adventures of Nio the Skunk: The Unknown Anticio T. Duke / Livro Capa mole
common.buy 10.21 €
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague / Livro Capa mole
common.buy 12.01 €
Jaunt ERIK J KREFFEL / Livro Capa mole
common.buy 21.92 €
Lego train adventure rhyming story book: riding a Lego train Kyle K / Livro Capa mole
common.buy 10.21 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?