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

Up to 30 days for returns

Customers also purchased

Nouveau Rond-point 2 - Livre de l'élève - Éd. hybride / Book Paperback
common.buy 49.59 €
Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi / Game/Toy Game
common.buy 79.17 €
Abdahn Effendi Karl May / Book Hardback
common.buy 25.20 €
Terapeutické rodičovstvo Sarah Naish / Book Paperback
common.buy 17.17 €
Maths 1re Enseignement scientifique (2023) - Manuel élève Milan / Book Book
common.buy 29.67 €
Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek / Audio Audio CD
common.buy 11.58 €
Mirai Nikki - New Edition 01 Josef Shanel / Book Paperback
common.buy 11.98 €
Šestnáct způsobů, jak ubránit opevněné město K. J. Parker / Book Paperback
common.buy 19.40 €
La Normandie gourmande en 48 recettes (FR) PERETTI / Book Paperback
common.buy 9.85 €
People Painting / Book Hardback
common.buy 30.89 €
Természetes spiritualitás Pál Ferenc / Book Paperback
common.buy 11.07 €
Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab / Book Paperback
common.buy 50.10 €
Digitale Bildverarbeitung Martin Werner / Book Paperback
common.buy 38.00 €
Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J / Book Paperback
common.buy 36.38 €
Oeuvres Completes Tome 3, 2 Sophie Cottin / Book Paperback
common.buy 21.74 €
Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper / Book Paperback
common.buy 6.39 €
Book of Blessings Heb Raymond Cintas / Book Hardback
common.buy 61.99 €
Nessahira Esin Kiroglu / Book Paperback
common.buy 15.24 €
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.64 €
Poslední habsburský císař Karel I. Katrin Unterreiner / Book Book
common.buy 14.63 €
Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena / Book Paperback
common.buy 35.87 €
Be Kind (Ukrainian-English) Livia Lemgruber / Book Paperback
common.buy 17.47 €
Iperaldosteronismo ed Ipertensione resistente Mirko Parasiliti Caprino / Book Paperback
common.buy 49.18 €
Diagnose Algebraischen Denkens ALEXANDER MEYER / Book Paperback
common.buy 67.78 €

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

Top
Alone Against the Frost: Solitaire Adventure in Canada's Wilds Gavin Inglis / Book Paperback
common.buy 15.85 €
St. Mark's Rest John Ruskin / Book Paperback
common.buy 20.62 €
Caleb and The Trash Fairy: Caleb and the box car race Jenene Snyder / Book Paperback
common.buy 11.27 €
Transition From Development to Production: Solving the Risk Equation U S Department of Defense / Book Paperback
common.buy 19.40 €
American Notes Rudyard Kipling / Book Paperback
common.buy 6.80 €
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.19 €
Lions and Lambs Charlie Smith / Book Paperback
common.buy 7.21 €
12 Strong - Die wahre Geschichte der US-Horse Soldiers Nicolai Fuglsig / Video Blu-ray
common.buy 12.80 €
Foxfire Book of Appalachian Cookery Sean Brock / Book Paperback
common.buy 21.74 €
Blind Faith: Sweetshade, Book 1 Delphia Baisden / Book Paperback
common.buy 11.27 €
Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism Lant Carpenter / Book Paperback
common.buy 38.41 €
Reminiscences Of Old Quebec (1890) Daniel MacPherson / Book Paperback
common.buy 23.16 €
Ventures Level 1 Workbook Gretchen BitterlinDennis JohnsonDonna PriceSylvia Ramirez / Book Paperback
common.buy 11.37 €
In the Ocean Stephanie Fizer Coleman / Game/Toy Game
common.buy 16.05 €
Seven Years of Darkness YOU-JEONG JEONG / Book Paperback
common.buy 10.46 €
Top
Witchcraft. The Library of Esoterica Jessica Hundley / Book Hardback
common.buy 31.50 €
7-Figure Coach Tara Mullarkey / Book Paperback
common.buy 11.37 €
Shadow Rising Robert Jordan / Audiobook MP3
common.buy 50.91 €
Top
Economics for Business John Sloman / Book Paperback
common.buy 100.51 €
Batman/Superman: World's Finest Vol. 3: Elementary Dan Mora / Book Hardback
common.buy 19.40 €
Engaging with Human Rights Evelyne Schmid / Book Hardback
common.buy 32.21 €
Third Act Encore Robert R. Blume / Book Hardback
common.buy 48.88 €
The Marriage Auction 2, Book One Audrey Carlan / Book Paperback
common.buy 15.13 €
UNTITLED RED TOWER RELEASE MAEHRER HANNAH NICOLE / Book Paperback
common.buy 15.24 €

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