Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Interactive Theorem Proving

Language EnglishEnglish
Book Paperback
Book Interactive Theorem Proving Mauricio Ayala-Rincón
Libristo code: 16771860
Publishers Springer International Publishing AG, August 2017
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Th... Full description
? points 125 b
51.51 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek / Audio Audio CD
common.buy 11.28 €
Abdahn Effendi Karl May / Book Hardback
common.buy 27.51 €
Response Surface Methodik in der Optimierung durch Simulation Renato Rodrigues / Book Paperback
common.buy 61.19 €
Terapeutické rodičovstvo Sarah Naish / Book Paperback
common.buy 17.03 €
Maths 1re Enseignement scientifique (2023) - Manuel élève Milan / Book Book
common.buy 28.62 €
Mirai Nikki - New Edition 01 Josef Shanel / Book Paperback
common.buy 13.80 €
Top
Šestnáct způsobů, jak ubránit opevněné město K. J. Parker / Book Paperback
common.buy 19.25 €
La Normandie gourmande en 48 recettes (FR) PERETTI / Book Paperback
common.buy 8.96 €
Természetes spiritualitás Pál Ferenc / Book Paperback
common.buy 11.48 €
Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab / Book Paperback
common.buy 49.70 €
People Painting / Book Hardback
common.buy 29.83 €
Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi / Game/Toy Game
common.buy 78.53 €
Tout un zoo en pâte à modeler Oren / Book binding.
common.buy 18.14 €
Digitale Bildverarbeitung Martin Werner / Book Paperback
common.buy 37.70 €
Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J / Book Paperback
common.buy 36.99 €
Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper / Book Paperback
common.buy 6.44 €
Der strafrechtliche Versammlungsschutz Georg Meiski / Book Paperback
common.buy 99.50 €
Oeuvres Completes Tome 3, 2 Sophie Cottin / Book Paperback
common.buy 21.97 €
Book of Blessings Heb Raymond Cintas / Book Hardback
common.buy 60.41 €
Nessahira Esin Kiroglu / Book Paperback
common.buy 15.12 €
Memoire Sur Le Principe Fondamental de la Therapeutique Deduit de l'Observation Et de l'Experience CREBESSAC-VERNET-P-A / Book Paperback
common.buy 15.82 €
Poslední habsburský císař Karel I. Katrin Unterreiner / Book Book
common.buy 14.51 €
Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena / Book Paperback
common.buy 35.48 €
Nouveau Rond-point 2 - Livre de l'élève - Éd. hybride / Book Paperback
common.buy 48.99 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Interactive Theorem Proving
Author Mauricio Ayala-Rincón, César A. Mu?oz
Language English
Binding Book - Paperback
Date of issue 2017
Number of pages 532
EAN 9783319661063
ISBN 331966106X
Libristo code 16771860
Publishers Springer International Publishing AG
Weight 8248
Dimensions 155 x 235 x 29

Categories

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Foxfire Book of Appalachian Cookery Sean Brock / Book Paperback
common.buy 22.17 €
In the Ocean Stephanie Fizer Coleman / Game/Toy Game
common.buy 15.92 €
Alone Against the Frost: Solitaire Adventure in Canada's Wilds Gavin Inglis / Book Paperback
common.buy 16.12 €
Reminiscences Of Old Quebec (1890) Daniel MacPherson / Book Paperback
common.buy 23.68 €
Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism Lant Carpenter / Book Paperback
common.buy 39.21 €
Dark Psychology: 2 Books In 1 - The Ultimate Guide to Manipulation Techniques and How to Analyze People - Learn The Secrets of Influenc Gilbert Byers / Book Paperback
common.buy 19.75 €
Blind Faith: Sweetshade, Book 1 Delphia Baisden / Book Paperback
common.buy 11.48 €
Seven Years of Darkness YOU-JEONG JEONG / Book Paperback
common.buy 10.78 €
12 Strong - Die wahre Geschichte der US-Horse Soldiers Nicolai Fuglsig / Video Blu-ray
common.buy 12.49 €
Lions and Lambs Charlie Smith / Book Paperback
common.buy 7.25 €
Sudoku Puzzle Book 200 MEDIUM Giant Size Puzzles: One Gigantic Large Print Puzzle Per Letter Size Page Sudoku Puzzle Books / Book Paperback
common.buy 14.21 €
American Notes Rudyard Kipling / Book Paperback
common.buy 6.85 €
Transition From Development to Production: Solving the Risk Equation U S Department of Defense / Book Paperback
common.buy 19.75 €
Caleb and The Trash Fairy: Caleb and the box car race Jenene Snyder / Book Paperback
common.buy 11.48 €
Coding the Universe A. BellerR. JensenP. Welch / Book Paperback
common.buy 101.12 €
Nanomaterials for Regenerative Medicine Ayse Begum Tekinay / Book Paperback
common.buy 153.85 €
Top
Witchcraft. The Library of Esoterica Jessica Hundley / Book Hardback
common.buy 29.73 €
7-Figure Coach Tara Mullarkey / Book Paperback
common.buy 11.58 €
Hunger, Appetite and the Politics of the Renaissance Stage Matt Williamson / E-book Adobe ePub DRM
common.buy 32.17 €
Shadow Rising Robert Jordan / Audiobook MP3
common.buy 50.52 €
Top
Economics for Business John Sloman / Book Paperback
common.buy 96.68 €
Batman/Superman: World's Finest Vol. 3: Elementary Dan Mora / Book Hardback
common.buy 19.65 €
Engaging with Human Rights Evelyne Schmid / Book Hardback
common.buy 32.05 €
True Story of the Great Escape Jonathan F. Vance / E-book Adobe ePub DRM
common.buy 12.09 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?