Kód: 16771860

Interactive Theorem Proving

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

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

Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 532
Nakladateľ: Springer International Publishing AG, 2017
Viac informácií o knihe

51.68 €

Bežne: 55.96 €

Ušetríte 4.28 €

Skladom u dodávateľa
Odosielame za 5 - 8 dní

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Bad Bishop
11.02 € -20 %
Kúpiť
Dear Debbie
9.90 € -19 %
Kúpiť
UNTITLED RED TOWER RELEASE
15.16 € -29 %
Kúpiť
Witchcraft. The Library of Esoterica
32.16 € -5 %
Kúpiť
Mirai Nikki - New Edition 01
11.93 € -15 %
Kúpiť
Alone Against the Frost: Solitaire Adventure in Canada's Wilds
14.76 € -25 %
Kúpiť
Természetes spiritualitás
11.02 € -13 %
Kúpiť
Economics for Business
96.90 €
Kúpiť
Terapeutické rodičovstvo
14.46 € -27 %
Kúpiť
Batman/Superman: World's Finest Vol. 3: Elementary
18.10 € -27 %
Kúpiť
Seven Years of Darkness
11.83 € -25 %
Kúpiť
Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber
78.79 € -17 %
Kúpiť
The Substantive Law of the EU, 8e
70.09 €
Kúpiť
7-Figure Coach
10.61 € -25 %
Kúpiť
Cambridge Young Learners English Tests 7 Movers Audio CD
15.16 € -8 %
Kúpiť
12 Strong - Die wahre Geschichte der US-Horse Soldiers
12.84 €
Kúpiť
Paris
10.31 € -15 %
Kúpiť
In the Ocean
16.07 € -24 %
Kúpiť
Nessahira
15.16 € -4 %
Kúpiť
Thomistic Metaphysics
74.44 € -9 %
Kúpiť
Domina las Tablas de Multiplicar: edición espa?ola
5.96 € -7 %
Kúpiť
Italian Private Law
66.85 €
Kúpiť
Histoire Naturelle de l'Air Et Des Meteores. Tome 1
34.48 €
Kúpiť
Foxfire Book of Appalachian Cookery
19.61 € -25 %
Kúpiť
Complete Book of 1960s Broadway Musicals
185.61 €
Kúpiť
Business Ecosystems
128.76 €
Kúpiť
Iperaldosteronismo ed Ipertensione resistente
48.95 € -14 %
Kúpiť
American Notes
6.36 € -7 %
Kúpiť
Power Boater's Guide
20.02 € -9 %
Kúpiť
Zoom espanol 1 Higher Workbook (8 Pack)
85.87 € -10 %
Kúpiť
Heidegger on Art and Art Works
154.36 € -7 %
Kúpiť
Transition From Development to Production: Solving the Risk Equation
18.30 € -7 %
Kúpiť
Heliosphere 2265 - Hetzjagd, 1 Audio-CD
11.62 € -6 %
Kúpiť
Clinical Management of Children with Cochlear Implants
218.09 €
Kúpiť
The Raging Wrath Of The Easter Bunny Demo
18.91 €
Kúpiť
Third Act Encore
46.32 € -2 %
Kúpiť
CANTO E CANTANTI
56.03 €
Kúpiť
Digitale Bildverarbeitung
37.82 € -6 %
Kúpiť
Technology and Organization (RLE: Organizations)
66.85 €
Kúpiť
Oeuvres Completes Tome 3, 2
21.13 € -2 %
Kúpiť
Engaging with Human Rights
32.06 € -4 %
Kúpiť
British Fossil Brachiopoda
88.60 €
Kúpiť
Tout un zoo en pâte à modeler
19.31 €
Kúpiť
Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism
36.41 € -2 %
Kúpiť
Hank Williams
27.20 € -24 %
Kúpiť
Battle for Congress
50.57 €
Kúpiť
Caleb and The Trash Fairy: Caleb and the box car race
10.61 € -7 %
Kúpiť
Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance
49.86 € -14 %
Kúpiť
Sudoku Puzzle Book 200 MEDIUM Giant Size Puzzles: One Gigantic Large Print Puzzle Per Letter Size Page
11.52 € -7 %
Kúpiť
Quiver
7.27 €
Kúpiť
Reminiscences Of Old Quebec (1890)
21.94 € -2 %
Kúpiť
Book of Blessings Heb
59.98 €
Kúpiť
World's Wine Markets
78.89 € -5 %
Kúpiť
Capacidade de biossorcao de metais pesados em residuos organicos
35.70 € -14 %
Kúpiť
Ist der Pfaffe Amis aus dem Schwankroman des Strickers ein Schelm, Narr oder ein Schalk?
16.18 € -10 %
Kúpiť
Journalistische Praxis - Das Monster der Fake News zähmen
35.70 € -11 %
Kúpiť

Darčekový poukaz: Radosť zaručená

Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
Poukaz sa vzťahuje na všetky produkty v našej ponuke.
Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
Platnosť poukazu je 12 mesiacov od dátumu vystavenia.

Objednať darčekový poukaz Viac informácií

Viac informácií o knihe Interactive Theorem Proving

Parametre knihy
Anotácia kniha
Obľúbené z iného súdka

Nákupom získate 125 bodov

Anotácia knihy

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.