Code: 16771860

Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer International Publishing AG
SKU: 16771860
Price: 51.62 EUR
Availability: InStock
Author: Mauricio Ayala-Rincón
ISBN: 9783319661063

by Mauricio Ayala-Rincón, César A. Mu?oz

Language: English
Binding: Paperback
Number of pages: 532
Publisher: Springer International Publishing AG, 2017
More about this

51.62 €

RRP: 55.89 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Dear Debbie
9.89 € -19 %
Buy
Witchcraft. The Library of Esoterica
32.12 € -5 %
Buy
Bad Bishop
11.10 € -19 %
Buy
UNTITLED RED TOWER RELEASE
15.14 € -29 %
Buy
Alone Against the Frost: Solitaire Adventure in Canada's Wilds
14.74 € -25 %
Buy
Természetes spiritualitás
11 € -13 %
Buy
Mirai Nikki - New Edition 01
11.91 € -15 %
Buy
Economics for Business
96.78 €
Buy
Terapeutické rodičovstvo
14.44 € -27 %
Buy
Batman/Superman: World's Finest Vol. 3: Elementary
18.07 € -27 %
Buy
Seven Years of Darkness
11.81 € -25 %
Buy
Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber
78.69 € -17 %
Buy
The Substantive Law of the EU, 8e
60.41 € -6 %
Buy
7-Figure Coach
10.60 € -25 %
Buy
Cambridge Young Learners English Tests 7 Movers Audio CD
15.14 € -8 %
Buy
12 Strong - Die wahre Geschichte der US-Horse Soldiers
12.82 €
Buy
Paris
10.30 € -14 %
Buy
Domina las Tablas de Multiplicar: edición espa?ola
5.95 € -7 %
Buy
In the Ocean
16.05 € -24 %
Buy
Italian Private Law
66.77 €
Buy
Histoire Naturelle de l'Air Et Des Meteores. Tome 1
34.44 €
Buy
Nessahira
15.14 € -4 %
Buy
Thomistic Metaphysics
74.35 € -9 %
Buy
Tout un zoo en pâte à modeler
19.29 €
Buy
Foxfire Book of Appalachian Cookery
19.59 € -25 %
Buy
Complete Book of 1960s Broadway Musicals
185.38 €
Buy
La Normandie gourmande en 48 recettes (FR)
10.09 €
Buy
Clinical Management of Children with Cochlear Implants
217.82 €
Buy
Business Ecosystems
128.60 €
Buy
Oeuvres Completes Tome 3, 2
21.11 € -2 %
Buy
American Notes
6.36 € -7 %
Buy
Iperaldosteronismo ed Ipertensione resistente
48.89 € -14 %
Buy
Power Boater's Guide
19.99 € -9 %
Buy
Heidegger on Art and Art Works
154.16 € -7 %
Buy
Zoom espanol 1 Higher Workbook (8 Pack)
85.77 € -10 %
Buy
Capacidade de biossorcao de metais pesados em residuos organicos
35.65 € -14 %
Buy
Transition From Development to Production: Solving the Risk Equation
18.28 € -7 %
Buy
Heliosphere 2265 - Hetzjagd, 1 Audio-CD
11.61 € -7 %
Buy
The Raging Wrath Of The Easter Bunny Demo
18.88 €
Buy
Journalistische Praxis - Das Monster der Fake News zähmen
35.65 € -11 %
Buy
CANTO E CANTANTI
55.96 €
Buy
Third Act Encore
46.26 € -2 %
Buy
Nanomaterials for Biosensors
177.40 € -10 %
Buy
Technology and Organization (RLE: Organizations)
66.77 €
Buy
British Fossil Brachiopoda
88.49 €
Buy
Engaging with Human Rights
32.02 € -4 %
Buy
Digitale Bildverarbeitung
37.78 € -6 %
Buy
Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism
36.36 € -2 %
Buy
Hank Williams
27.17 € -24 %
Buy
Battle for Congress
50.51 €
Buy
Caleb and The Trash Fairy: Caleb and the box car race
10.60 € -7 %
Buy
Sudoku Puzzle Book 200 MEDIUM Giant Size Puzzles: One Gigantic Large Print Puzzle Per Letter Size Page
11.51 € -7 %
Buy
Reminiscences Of Old Quebec (1890)
21.91 € -2 %
Buy
Quiver
7.26 €
Buy
Book of Blessings Heb
60.51 €
Buy
Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance
49.80 € -14 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 125 loyalty points

Book synopsis

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.