Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha Interactive Theorem Proving Mauricio Ayala-Rincón

Interactive Theorem Proving

Autor: Mauricio Ayala-Rincón, César A. Mu?oz
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer International Publishing AG
Dostupnosť: Skladom u dodávateľa v malom množstve
Odosielame za 13-18 dní
54.21 €
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Th...

Informácie o knihe

Autor
Mauricio Ayala-Rincón, César A. Mu?oz
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2017
Stránok
532
EAN
9783319661063
ISBN
331966106X
Enbook ID
16771860
Vydavateľ
Springer International Publishing AG
Hmotnosť
8248
Rozmery
155 x 235 x 29

Kompletný popis

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.

Mohlo by vás zaujímať

In the Ocean

Stephanie Fizer Coleman
15.61 €

Caleb and The Trash Fairy: Caleb and the box car race

Jenene Snyder
10.30 €

Transition From Development to Production: Solving the Risk Equation

U S Department of Defense
17.77 €

American Notes

Rudyard Kipling
6.18 €

Sudoku Puzzle Book 200 MEDIUM Giant Size Puzzles: One Gigantic Large Print Puzzle Per Letter Size Page

Sudoku Puzzle Books
11.19 €

12 Strong - Die wahre Geschichte der US-Horse Soldiers

Nicolai Fuglsig
12.46 €

Foxfire Book of Appalachian Cookery

Sean Brock
19.05 €

Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism

Lant Carpenter
35.35 €

Reminiscences Of Old Quebec (1890)

Daniel MacPherson
21.30 €

Alone Against the Frost: Solitaire Adventure in Canada's Wilds

Gavin Inglis
14.33 €

Heidegger on Art and Art Works

J.J. Kockelmans
162.85 €

Seven Years of Darkness

YOU-JEONG JEONG
11.48 €

Witchcraft. The Library of Esoterica

Jessica Hundley
31.13 €

7-Figure Coach

Tara Mullarkey
10.30 €

Shadow Rising

Robert Jordan
48.91 €

Economics for Business

John Sloman
94.09 €

Batman/Superman: World's Finest Vol. 3: Elementary

Dan Mora
17.57 €

Engaging with Human Rights

Evelyne Schmid
30.83 €

Third Act Encore

Robert R. Blume
44.98 €

UNTITLED RED TOWER RELEASE

MAEHRER HANNAH NICOLE
14.72 €

The Substantive Law of the EU, 8e

Barnard
68.06 €

Bad Bishop

L.J. Shen
10.70 €

Dear Debbie

Freida McFadden
9.62 €

Quiver

Stephanie Spinner
7.06 €

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber

Umi
76.51 €

Paris

Zola
10.01 €

Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance

Kadri Ouahab
55.09 €

Természetes spiritualitás

Pál Ferenc
10.70 €

La Normandie gourmande en 48 recettes (FR)

PERETTI
9.81 €

Mirai Nikki - New Edition 01

Josef Shanel
11.58 €

Heliosphere 2265 - Hetzjagd, 1 Audio-CD

Andreas Suchanek
11.29 €

Maths 1re Enseignement scientifique (2023) - Manuel élève

Milan
28.97 €

Terapeutické rodičovstvo

Sarah Naish
15.19 €

Digitale Bildverarbeitung

Martin Werner
39.97 €

Histoire Naturelle de l'Air Et Des Meteores. Tome 1

RICHARD-J
33.48 €

Domina las Tablas de Multiplicar: edición espa?ola

Christine R Draper
5.79 €

Oeuvres Completes Tome 3, 2

Sophie Cottin
20.52 €

Book of Blessings Heb

Raymond Cintas
58.24 €

Memoire Sur Le Principe Fondamental de la Therapeutique Deduit de l'Observation Et de l'Experience

CREBESSAC-VERNET-P-A
14.33 €

Capacidade de biossorcao de metais pesados em residuos organicos

Leandro Fabricio Sena
39.67 €

Nessahira

Esin Kiroglu
14.72 €

Iperaldosteronismo ed Ipertensione resistente

Mirko Parasiliti Caprino
54.21 €

Diagnose Algebraischen Denkens

ALEXANDER MEYER
73.07 €

The Raging Wrath Of The Easter Bunny Demo

Mr. Bungle
18.36 €

Ist der Pfaffe Amis aus dem Schwankroman des Strickers ein Schelm, Narr oder ein Schalk?

Stefanie Fritz
15.71 €

Tout un zoo en pâte à modeler

Oren
18.75 €

Journalistische Praxis - Das Monster der Fake News zähmen

Sulaiman Osho
39.67 €