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 19 990 Ft
DPD courier 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
19 665 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi / Game/Toy Game
common.buy 30 338 Ft
Affordable
Paris Zola / Book Paperback
common.buy 3 622 Ft
Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab / Book Paperback
common.buy 19 104 Ft
Természetes spiritualitás Pál Ferenc / Book Paperback
common.buy 4 240 Ft
La Normandie gourmande en 48 recettes (FR) PERETTI / Book Paperback
common.buy 3 549 Ft
Top
Mirai Nikki - New Edition 01 Josef Shanel / Book Paperback
common.buy 4 603 Ft
Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek / Audio Audio CD
common.buy 4 069 Ft
Maths 1re Enseignement scientifique (2023) - Manuel élève Milan / Book Book
common.buy 10 472 Ft
Terapeutické rodičovstvo Sarah Naish / Book Paperback
common.buy 5 996 Ft
Digitale Bildverarbeitung Martin Werner / Book Paperback
common.buy 14 441 Ft
Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J / Book Paperback
common.buy 13 614 Ft
Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper / Book Paperback
common.buy 2 389 Ft
Oeuvres Completes Tome 3, 2 Sophie Cottin / Book Paperback
common.buy 8 371 Ft
Book of Blessings Heb Raymond Cintas / Book Hardback
common.buy 22 766 Ft
Memoire Sur Le Principe Fondamental de la Therapeutique Deduit de l'Observation Et de l'Experience CREBESSAC-VERNET-P-A / Book Paperback
common.buy 5 864 Ft
Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena / Book Paperback
common.buy 13 669 Ft
Nessahira Esin Kiroglu / Book Paperback
common.buy 5 764 Ft
Iperaldosteronismo ed Ipertensione resistente Mirko Parasiliti Caprino / Book Paperback
common.buy 18 770 Ft
Diagnose Algebraischen Denkens ALEXANDER MEYER / Book Paperback
common.buy 25 689 Ft
The Raging Wrath Of The Easter Bunny Demo Mr. Bungle / Audio Audio CD
common.buy 7 156 Ft
Ist der Pfaffe Amis aus dem Schwankroman des Strickers ein Schelm, Narr oder ein Schalk? Stefanie Fritz / Book Paperback
common.buy 6 197 Ft
Tout un zoo en pâte à modeler Oren / Book binding.
common.buy 6 777 Ft
Journalistische Praxis - Das Monster der Fake News zähmen Sulaiman Osho / Book Paperback
common.buy 13 669 Ft

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 5 996 Ft
Caleb and The Trash Fairy: Caleb and the box car race Jenene Snyder / Book Paperback
common.buy 4 256 Ft
Transition From Development to Production: Solving the Risk Equation U S Department of Defense / Book Paperback
common.buy 7 330 Ft
American Notes Rudyard Kipling / Book Paperback
common.buy 2 548 Ft
Sudoku Puzzle Book 200 MEDIUM Giant Size Puzzles: One Gigantic Large Print Puzzle Per Letter Size Page Sudoku Puzzle Books / Book Paperback
common.buy 4 603 Ft
12 Strong - Die wahre Geschichte der US-Horse Soldiers Nicolai Fuglsig / Video Blu-ray
common.buy 4 489 Ft
Foxfire Book of Appalachian Cookery Sean Brock / Book Paperback
common.buy 8 065 Ft
Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism Lant Carpenter / Book Paperback
common.buy 14 454 Ft
Reminiscences Of Old Quebec (1890) Daniel MacPherson / Book Paperback
common.buy 8 732 Ft
Alone Against the Frost: Solitaire Adventure in Canada's Wilds Gavin Inglis / Book Paperback
common.buy 6 083 Ft
Heidegger on Art and Art Works J.J. Kockelmans / Book Paperback
common.buy 58 768 Ft
Seven Years of Darkness YOU-JEONG JEONG / Book Paperback
common.buy 4 430 Ft
Top
Witchcraft. The Library of Esoterica Jessica Hundley / Book Hardback
common.buy 10 719 Ft
7-Figure Coach Tara Mullarkey / Book Paperback
common.buy 4 389 Ft
Shadow Rising Robert Jordan / Audiobook MP3
common.buy 17 656 Ft
Economics for Business John Sloman / Book Paperback
common.buy 33 946 Ft
Batman/Superman: World's Finest Vol. 3: Elementary Dan Mora / Book Hardback
common.buy 7 038 Ft
Engaging with Human Rights Evelyne Schmid / Book Hardback
common.buy 12 194 Ft
Third Act Encore Robert R. Blume / Book Hardback
common.buy 18 391 Ft
Top
UNTITLED RED TOWER RELEASE MAEHRER HANNAH NICOLE / Book Paperback
common.buy 5 937 Ft
The Substantive Law of the EU, 8e Barnard / Book Paperback
common.buy 23 187 Ft
Top
Bad Bishop L.J. Shen / Book Paperback
common.buy 3 855 Ft
Top
Dear Debbie Freida McFadden / Book Paperback
common.buy 3 329 Ft
Quiver Stephanie Spinner / Book Paperback
common.buy 2 754 Ft

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?