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 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar
Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Língua InglêsInglês
Livro Capa mole
Livro Interactive Theorem Proving and Program Development Yves Bertot
Código Libristo: 02129635
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, dezembro 2010
A practical introduction to the development of proofs and certified programs using Coq. §An invaluab...
? points 184 b
76.18 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Lambda Calculus with Types Henk Barendregt / Livro Livro de capa dura
common.buy 94.39 €
Types and Programming Languages Pierce / Livro Livro de capa dura
common.buy 92.67 €
Four Pillars of Geometry John Stillwell / Livro Livro de capa dura
common.buy 35.91 €
Computer Networks, Global Edition Andrew Tanenbaum / Livro Capa mole
common.buy 97.73 €
Principal
Rust For Rustaceans Jon Gjengset / Livro Capa mole
common.buy 29.63 €
Principal
Prisma Club Prisma Team / Livro Capa mole
common.buy 23.87 €

A practical introduction to the development of proofs and certified programs using Coq. §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, Pierre Castéran, G. Huet, C. Paulin-Mohring
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2010
Número de páginas 472
EAN 9783642058806
ISBN 3642058809
Código Libristo 02129635
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 748
Dimensões 155 x 235 x 26

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 Livro de capa dura
common.buy 107.44 €
Let Over Lambda Doug Hoyte / Livro Capa mole
common.buy 35.40 €
A Lambda Calculus Satellite Giulio Manzonetto / Livro Capa mole
common.buy 34.80 €
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Livro Capa mole
common.buy 26.50 €
Interactive Television Demystified Jerry Whitaker / Livro Capa mole
common.buy 37.32 €
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus / Livro Livro de capa dura
common.buy 22.96 €
An Introduction to Classical and Modal Logics Adam Bjorndahl / Livro Capa mole
common.buy 31.15 €
Understanding Central Europe Marcin Moskalewicz / Livro Capa mole
common.buy 59.28 €
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Livro Capa mole
common.buy 17.49 €
Principal
Berserk Deluxe Volume 7 Kentaro Miura / Livro Livro de capa dura
common.buy 32.67 €
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Livro Livro de capa dura
common.buy 11.02 €
Meditation For Beginners: Meditation for Life: How to Meditate! (meditation for beginners, meditation, meditation techniques, how to meditate, m Michelle Gretta / Livro Capa mole
common.buy 11.02 €
Principal
Tales from the Loop Simon Stalenhag / Livro Livro de capa dura
common.buy 21.84 €
Principal
The Good Karma Tarot Kerry Ward / Artigos impressos Cartões
common.buy 15.27 €
Armenian History Captivating History / Livro Capa mole
common.buy 12.84 €
Adobe InDesign CC Classroom in a Book (2019 Release) Kelly Kordes Anton / Livro Capa mole
common.buy 47.44 €
Principal
Infinite Powers Steven (Author) Strogatz / Livro Capa mole
common.buy 8.99 €
Principal
RaW Hero, Vol. 1 Akira Hiramoto / Livro Capa mole
common.buy 9.91 €
Beginning x64 Assembly Programming Jo Van Hoey / Livro Capa mole
common.buy 27.71 €
Programming with Types Vlad Riscutia / Livro Capa mole
common.buy 49.37 €
Einstein's Fridge Paul Sen / Livro Capa mole
common.buy 9.40 €
Practical Engine Airflow Baechtel John Baechtel / Livro Capa mole
common.buy 26.70 €
Poker Satellite Strategy Dara O'Kearney / Livro Capa mole
common.buy 18.81 €
Principal
Art of Noticing Rob Walker / Livro Livro de capa dura
common.buy 13.65 €

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