Menu
Виж статуса на поръчката
Свържете се с нас
Книга Interactive Theorem Proving Mauricio Ayala-Rincón

Interactive Theorem Proving

Автор: Mauricio Ayala-Rincón, César A. Mu?oz
Език: Английски език
Корици: С меки корици
Издател: Springer International Publishing AG
Наличност: Външен склад
Изпращаме след 5-8 дни
52.84 € 103.34 лв
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Th...

Информация за книгата

Автор
Mauricio Ayala-Rincón, César A. Mu?oz
Език
Английски език
Корици
Книга - С меки корици
Издадена
2017
страници
532
EAN
9783319661063
ISBN
331966106X
Enbook ID
16771860
Издател
Springer International Publishing AG
Теглоt
8248
Размери
155 x 235 x 29

Пълно описание

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.

Може също да ви хареса

In the Ocean

Stephanie Fizer Coleman
16.62 € 32.51 лв

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

Jenene Snyder
10.90 € 21.31 лв

Transition From Development to Production: Solving the Risk Equation

U S Department of Defense
18.73 € 36.64 лв

American Notes

Rudyard Kipling
6.53 € 12.76 лв

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

Sudoku Puzzle Books
11.80 € 23.08 лв

12 Strong - Die wahre Geschichte der US-Horse Soldiers

Nicolai Fuglsig
13.01 € 25.44 лв

Foxfire Book of Appalachian Cookery

Sean Brock
20.29 € 39.68 лв

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

Lant Carpenter
37.17 € 72.69 лв

Reminiscences Of Old Quebec (1890)

Daniel MacPherson
22.45 € 43.91 лв

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

Gavin Inglis
15.32 € 29.95 лв

Heidegger on Art and Art Works

J.J. Kockelmans
158.03 € 309.07 лв

Seven Years of Darkness

YOU-JEONG JEONG
12.30 € 24.06 лв

Witchcraft. The Library of Esoterica

Jessica Hundley
31.34 € 61.30 лв

7-Figure Coach

Tara Mullarkey
11.05 € 21.60 лв

Shadow Rising

Robert Jordan
51.43 € 100.59 лв

Economics for Business

John Sloman
98.40 € 192.45 лв

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

Dan Mora
24.16 € 47.25 лв

Engaging with Human Rights

Evelyne Schmid
32.80 € 64.14 лв

Third Act Encore

Robert R. Blume
47.26 € 92.44 лв

UNTITLED RED TOWER RELEASE

MAEHRER HANNAH NICOLE
15.87 € 31.04 лв

The Substantive Law of the EU, 8e

Barnard
71.43 € 139.70 лв

Bad Bishop

L.J. Shen
10.29 € 20.13 лв

Dear Debbie

Freida McFadden
9.49 € 18.56 лв

Quiver

Stephanie Spinner
7.43 € 14.53 лв

Клиенти, които купиха тази книга, купиха също

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

Umi
81.22 € 158.85 лв

Paris

Zola
10.04 € 19.64 лв

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

Kadri Ouahab
51.23 € 100.20 лв

Természetes spiritualitás

Pál Ferenc
11.30 € 22.10 лв

La Normandie gourmande en 48 recettes (FR)

PERETTI
10.29 € 20.13 лв

Mirai Nikki - New Edition 01

Josef Shanel
12.30 € 24.06 лв

Heliosphere 2265 - Hetzjagd, 1 Audio-CD

Andreas Suchanek
11.90 € 23.27 лв

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

Milan
30.29 € 59.23 лв

Terapeutické rodičovstvo

Sarah Naish
17.58 € 34.38 лв

Digitale Bildverarbeitung

Martin Werner
38.77 € 75.84 лв

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

RICHARD-J
35.11 € 68.66 лв

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

Christine R Draper
6.12 € 11.98 лв

Oeuvres Completes Tome 3, 2

Sophie Cottin
21.54 € 42.14 лв

Book of Blessings Heb

Raymond Cintas
60.88 € 119.06 лв

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

CREBESSAC-VERNET-P-A
15.06 € 29.46 лв

Capacidade de biossorcao de metais pesados em residuos organicos

Leandro Fabricio Sena
36.66 € 71.71 лв

Nessahira

Esin Kiroglu
15.47 € 30.25 лв

Iperaldosteronismo ed Ipertensione resistente

Mirko Parasiliti Caprino
50.33 € 98.43 лв

Diagnose Algebraischen Denkens

ALEXANDER MEYER
69.06 € 135.08 лв

The Raging Wrath Of The Easter Bunny Demo

Mr. Bungle
19.28 € 37.72 лв

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

Stefanie Fritz
16.62 € 32.51 лв

Tout un zoo en pâte à modeler

Oren
19.59 € 38.31 лв

Journalistische Praxis - Das Monster der Fake News zähmen

Sulaiman Osho
36.66 € 71.71 лв