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 €
phone Contacto phoneComo comprar

Interactive Theorem Proving

Língua InglêsInglês
Livro Capa mole
Livro Interactive Theorem Proving Mauricio Ayala-Rincón
Código Libristo: 16771860
Editoras Springer International Publishing AG, agosto 2017
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Th... Descrição completa
? points 111 b
46.07 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi / Jogo/brinquedo Jogo
common.buy 69.06 €
Económico
Paris Zola / Livro Capa mole
common.buy 10.32 €
Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab / Livro Capa mole
common.buy 44.05 €
Természetes spiritualitás Pál Ferenc / Livro Capa mole
common.buy 9.11 €
Em breve
La Normandie gourmande en 48 recettes (FR) PERETTI / Livro Capa mole
common.buy 8.40 €
Principal
Mirai Nikki - New Edition 01 Josef Shanel / Livro Capa mole
common.buy 10.42 €
Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek / Áudio CD de áudio
common.buy 9.71 €
Maths 1re Enseignement scientifique (2023) - Manuel élève Milan / Livro Livro
common.buy 24.70 €
Terapeutické rodičovstvo Sarah Naish / Livro Capa mole
common.buy 15.49 €
Digitale Bildverarbeitung Martin Werner / Livro Capa mole
common.buy 33.72 €
Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J / Livro Capa mole
common.buy 31.19 €
Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper / Livro Capa mole
common.buy 5.36 €
Oeuvres Completes Tome 3, 2 Sophie Cottin / Livro Capa mole
common.buy 18.93 €
Book of Blessings Heb Raymond Cintas / Livro Livro de capa dura
common.buy 54.58 €
Memoire Sur Le Principe Fondamental de la Therapeutique Deduit de l'Observation Et de l'Experience CREBESSAC-VERNET-P-A / Livro Capa mole
common.buy 13.26 €
Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena / Livro Capa mole
common.buy 40.41 €
Nessahira Esin Kiroglu / Livro Capa mole
common.buy 13.56 €
Iperaldosteronismo ed Ipertensione resistente Mirko Parasiliti Caprino / Livro Capa mole
common.buy 43.24 €
Diagnose Algebraischen Denkens ALEXANDER MEYER / Livro Capa mole
common.buy 60.25 €
The Raging Wrath Of The Easter Bunny Demo Mr. Bungle / Áudio CD de áudio
common.buy 17.01 €
Ist der Pfaffe Amis aus dem Schwankroman des Strickers ein Schelm, Narr oder ein Schalk? Stefanie Fritz / Livro Capa mole
common.buy 14.27 €
Tout un zoo en pâte à modeler Oren / Livro binding.
common.buy 15.99 €
Journalistische Praxis - Das Monster der Fake News zähmen Sulaiman Osho / Livro Capa mole
common.buy 31.49 €

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

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
Autor Mauricio Ayala-Rincón, César A. Mu?oz
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2017
Número de páginas 532
EAN 9783319661063
ISBN 331966106X
Código Libristo 16771860
Editoras Springer International Publishing AG
Peso 8248
Dimensões 155 x 235 x 29

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
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 > Inteligência artificial
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

In the Ocean Stephanie Fizer Coleman / Jogo/brinquedo Jogo
common.buy 13.87 €
Caleb and The Trash Fairy: Caleb and the box car race Jenene Snyder / Livro Capa mole
common.buy 9.51 €
Transition From Development to Production: Solving the Risk Equation U S Department of Defense / Livro Capa mole
common.buy 16.40 €
American Notes Rudyard Kipling / Livro Capa mole
common.buy 5.66 €
Sudoku Puzzle Book 200 MEDIUM Giant Size Puzzles: One Gigantic Large Print Puzzle Per Letter Size Page Sudoku Puzzle Books / Livro Capa mole
common.buy 10.32 €
12 Strong - Die wahre Geschichte der US-Horse Soldiers Nicolai Fuglsig / Vídeo Blu-ray
common.buy 11.13 €
Foxfire Book of Appalachian Cookery Sean Brock / Livro Capa mole
common.buy 17.01 €
Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism Lant Carpenter / Livro Capa mole
common.buy 32.70 €
Reminiscences Of Old Quebec (1890) Daniel MacPherson / Livro Capa mole
common.buy 19.74 €
Alone Against the Frost: Solitaire Adventure in Canada's Wilds Gavin Inglis / Livro Capa mole
common.buy 12.85 €
Heidegger on Art and Art Works J.J. Kockelmans / Livro Capa mole
common.buy 137.84 €
Seven Years of Darkness YOU-JEONG JEONG / Livro Capa mole
common.buy 10.22 €
Principal
Witchcraft. The Library of Esoterica Jessica Hundley / Livro Livro de capa dura
common.buy 23.79 €
7-Figure Coach Tara Mullarkey / Livro Capa mole
common.buy 9.31 €
Shadow Rising Robert Jordan / Audiolivro MP3
common.buy 42.43 €
Economics for Business John Sloman / Livro Capa mole
common.buy 79.29 €
Batman/Superman: World's Finest Vol. 3: Elementary Dan Mora / Livro Livro de capa dura
common.buy 15.59 €
Engaging with Human Rights Evelyne Schmid / Livro Livro de capa dura
common.buy 28.75 €
Third Act Encore Robert R. Blume / Livro Livro de capa dura
common.buy 41.62 €
UNTITLED RED TOWER RELEASE MAEHRER HANNAH NICOLE / Livro Capa mole
common.buy 13.06 €
The Substantive Law of the EU, 8e Barnard / Livro Capa mole
common.buy 63.09 €
Principal
Bad Bishop L.J. Shen / Livro Capa mole
common.buy 8.50 €
Principal
Dear Debbie Freida McFadden / Livro Capa mole
common.buy 7.89 €
Quiver Stephanie Spinner / Livro Capa mole
common.buy 6.57 €

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?