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
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

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.69 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi / Game/Toy Game
common.buy 78.81 €
Affordable
Paris Zola / Book Paperback
common.buy 10.31 €
Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab / Book Paperback
common.buy 49.87 €
Természetes spiritualitás Pál Ferenc / Book Paperback
common.buy 11.02 €
Coming soon
La Normandie gourmande en 48 recettes (FR) PERETTI / Book Paperback
common.buy 10.11 €
Top
Mirai Nikki - New Edition 01 Josef Shanel / Book Paperback
common.buy 11.93 €
Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek / Audio Audio CD
common.buy 11.63 €
Maths 1re Enseignement scientifique (2023) - Manuel élève Milan / Book Book
common.buy 29.84 €
Terapeutické rodičovstvo Sarah Naish / Book Paperback
common.buy 17.09 €
Digitale Bildverarbeitung Martin Werner / Book Paperback
common.buy 37.83 €
Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J / Book Paperback
common.buy 36.21 €
Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper / Book Paperback
common.buy 6.36 €
Oeuvres Completes Tome 3, 2 Sophie Cottin / Book Paperback
common.buy 22.15 €
Book of Blessings Heb Raymond Cintas / Book Hardback
common.buy 59.99 €
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.57 €
Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena / Book Paperback
common.buy 35.71 €
Nessahira Esin Kiroglu / Book Paperback
common.buy 15.17 €
Iperaldosteronismo ed Ipertensione resistente Mirko Parasiliti Caprino / Book Paperback
common.buy 48.96 €
Diagnose Algebraischen Denkens ALEXANDER MEYER / Book Paperback
common.buy 67.48 €
The Raging Wrath Of The Easter Bunny Demo Mr. Bungle / Audio Audio CD
common.buy 18.91 €
Ist der Pfaffe Amis aus dem Schwankroman des Strickers ein Schelm, Narr oder ein Schalk? Stefanie Fritz / Book Paperback
common.buy 16.18 €
Tout un zoo en pâte à modeler Oren / Book binding.
common.buy 19.32 €
Journalistische Praxis - Das Monster der Fake News zähmen Sulaiman Osho / Book Paperback
common.buy 35.71 €

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

In the Ocean Stephanie Fizer Coleman / Game/Toy Game
common.buy 16.08 €
Caleb and The Trash Fairy: Caleb and the box car race Jenene Snyder / Book Paperback
common.buy 11.22 €
Transition From Development to Production: Solving the Risk Equation U S Department of Defense / Book Paperback
common.buy 19.32 €
American Notes Rudyard Kipling / Book Paperback
common.buy 6.77 €
Sudoku Puzzle Book 200 MEDIUM Giant Size Puzzles: One Gigantic Large Print Puzzle Per Letter Size Page Sudoku Puzzle Books / Book Paperback
common.buy 12.13 €
12 Strong - Die wahre Geschichte der US-Horse Soldiers Nicolai Fuglsig / Video Blu-ray
common.buy 12.84 €
Foxfire Book of Appalachian Cookery Sean Brock / Book Paperback
common.buy 20.93 €
Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism Lant Carpenter / Book Paperback
common.buy 38.24 €
Reminiscences Of Old Quebec (1890) Daniel MacPherson / Book Paperback
common.buy 23.06 €
Alone Against the Frost: Solitaire Adventure in Canada's Wilds Gavin Inglis / Book Paperback
common.buy 15.77 €
Heidegger on Art and Art Works J.J. Kockelmans / Book Paperback
common.buy 154.39 €
Seven Years of Darkness YOU-JEONG JEONG / Book Paperback
common.buy 11.83 €
Top
Witchcraft. The Library of Esoterica Jessica Hundley / Book Hardback
common.buy 30.55 €
7-Figure Coach Tara Mullarkey / Book Paperback
common.buy 11.32 €
Shadow Rising Robert Jordan / Audiobook MP3
common.buy 50.38 €
Economics for Business John Sloman / Book Paperback
common.buy 96.82 €
Batman/Superman: World's Finest Vol. 3: Elementary Dan Mora / Book Hardback
common.buy 19.32 €
Engaging with Human Rights Evelyne Schmid / Book Hardback
common.buy 32.06 €
Third Act Encore Robert R. Blume / Book Hardback
common.buy 48.66 €
UNTITLED RED TOWER RELEASE MAEHRER HANNAH NICOLE / Book Paperback
common.buy 15.17 €
The Substantive Law of the EU, 8e Barnard / Book Paperback
common.buy 70.11 €
Top
Bad Bishop L.J. Shen / Book Paperback
common.buy 9.91 €
Top
Dear Debbie Freida McFadden / Book Paperback
common.buy 9.10 €
Quiver Stephanie Spinner / Book Paperback
common.buy 7.27 €

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