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 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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 132 b
54.33 €
106.25  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

La Normandie gourmande en 48 recettes (FR) PERETTI / Book Paperback
common.buy 10.32 € 20.19 лв
Abdahn Effendi Karl May / Book Hardback
common.buy 26.54 € 51.91 лв
Terapeutické rodičovstvo Sarah Naish / Book Paperback
common.buy 18.07 € 35.34 лв
Mirai Nikki - New Edition 01 Josef Shanel / Book Paperback
common.buy 12.65 € 24.74 лв
Maths 1re Enseignement scientifique (2023) - Manuel élève Milan / Book Book
common.buy 30.93 € 60.50 лв
Šestnáct způsobů, jak ubránit opevněné město K. J. Parker / Book Paperback
common.buy 20.40 € 39.89 лв
Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek / Audio Audio CD
common.buy 12.18 € 23.83 лв
Természetes spiritualitás Pál Ferenc / Book Paperback
common.buy 11.62 € 22.72 лв
People Painting / Book Hardback
common.buy 32.12 € 62.82 лв
Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab / Book Paperback
common.buy 52.67 € 103.02 лв
Affordable
Paris Zola / Book Paperback
common.buy 10.32 € 20.19 лв
Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi / Game/Toy Game
common.buy 83.51 € 163.33 лв
Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena / Book Paperback
common.buy 37.70 € 73.73 лв
Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J / Book Paperback
common.buy 36.10 € 70.60 лв
Oeuvres Completes Tome 3, 2 Sophie Cottin / Book Paperback
common.buy 21.63 € 42.31 лв
Book of Blessings Heb Raymond Cintas / Book Hardback
common.buy 64.40 € 125.95 лв
Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper / Book Paperback
common.buy 6.30 € 12.31 лв
Nessahira Esin Kiroglu / Book Paperback
common.buy 15.90 € 31.10 лв
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.49 € 30.29 лв
Digitale Bildverarbeitung Martin Werner / Book Paperback
common.buy 39.87 € 77.97 лв
Iperaldosteronismo ed Ipertensione resistente Mirko Parasiliti Caprino / Book Paperback
common.buy 51.74 € 101.20 лв
Diagnose Algebraischen Denkens ALEXANDER MEYER / Book Paperback
common.buy 71.01 € 138.88 лв
Ist der Pfaffe Amis aus dem Schwankroman des Strickers ein Schelm, Narr oder ein Schalk? Stefanie Fritz / Book Paperback
common.buy 17.09 € 33.43 лв
The Raging Wrath Of The Easter Bunny Demo Mr. Bungle / Audio Audio CD
common.buy 19.83 € 38.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.75 € 30.80 лв
CANTO E CANTANTI G. MARCHESI / Book binding.
common.buy 58.20 € 113.83 лв
St. Mark's Rest John Ruskin / Book Paperback
common.buy 21.74 € 42.52 лв
Caleb and The Trash Fairy: Caleb and the box car race Jenene Snyder / Book Paperback
common.buy 11.20 € 21.91 лв
Transition From Development to Production: Solving the Risk Equation U S Department of Defense / Book Paperback
common.buy 19.26 € 37.67 лв
American Notes Rudyard Kipling / Book Paperback
common.buy 6.71 € 13.12 лв
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 € 23.73 лв
12 Strong - Die wahre Geschichte der US-Horse Soldiers Nicolai Fuglsig / Video Blu-ray
common.buy 13.32 € 26.05 лв
Foxfire Book of Appalachian Cookery Sean Brock / Book Paperback
common.buy 21.63 € 42.31 лв
Blind Faith: Sweetshade, Book 1 Delphia Baisden / Book Paperback
common.buy 11.20 € 21.91 лв
Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism Lant Carpenter / Book Paperback
common.buy 38.21 € 74.74 лв
Reminiscences Of Old Quebec (1890) Daniel MacPherson / Book Paperback
common.buy 23.08 € 45.14 лв
Ventures Level 1 Workbook Gretchen BitterlinDennis JohnsonDonna PriceSylvia Ramirez / Book Paperback
common.buy 11.82 € 23.12 лв
In the Ocean Stephanie Fizer Coleman / Game/Toy Game
common.buy 17.04 € 33.32 лв
Seven Years of Darkness YOU-JEONG JEONG / Book Paperback
common.buy 11.20 € 21.91 лв
Top
Witchcraft. The Library of Esoterica Jessica Hundley / Book Hardback
common.buy 32.22 € 63.02 лв
7-Figure Coach Tara Mullarkey / Book Paperback
common.buy 11.36 € 22.21 лв
Shadow Rising Robert Jordan / Audiobook MP3
common.buy 53.50 € 104.64 лв
Top
Economics for Business John Sloman / Book Paperback
common.buy 104.32 € 204.03 лв
Batman/Superman: World's Finest Vol. 3: Elementary Dan Mora / Book Hardback
common.buy 20.50 € 40.09 лв
Engaging with Human Rights Evelyne Schmid / Book Hardback
common.buy 33.72 € 65.95 лв
Third Act Encore Robert R. Blume / Book Hardback
common.buy 48.59 € 95.04 лв
UNTITLED RED TOWER RELEASE MAEHRER HANNAH NICOLE / Book Paperback
common.buy 16.26 € 31.81 лв
The Substantive Law of the EU, 8e Barnard / Book Paperback
common.buy 64.61 € 126.36 лв

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?