Menu
Zjistit 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
Vazba: Brožovaná
Vydavatel: Springer International Publishing AG
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147 Kč
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Th...

Informace o knize

Autor
Mauricio Ayala-Rincón, César A. Mu?oz
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2017
Stránek
532
EAN
9783319661063
ISBN
331966106X
Enbook ID
16771860
Vydavatel
Springer International Publishing AG
Hmotnost
8248
Rozměry
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 zajímat

In the Ocean

Stephanie Fizer Coleman
351 Kč

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

Jenene Snyder
250 Kč

Transition From Development to Production: Solving the Risk Equation

U S Department of Defense
431 Kč

American Notes

Rudyard Kipling
149 Kč

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

Sudoku Puzzle Books
271 Kč

12 Strong - Die wahre Geschichte der US-Horse Soldiers

Nicolai Fuglsig
301 Kč

Foxfire Book of Appalachian Cookery

Sean Brock
461 Kč

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

Lant Carpenter
855 Kč

Reminiscences Of Old Quebec (1890)

Daniel MacPherson
516 Kč

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

Gavin Inglis
324 Kč

Heidegger on Art and Art Works

J.J. Kockelmans
3 426 Kč

Seven Years of Darkness

YOU-JEONG JEONG
241 Kč

Witchcraft. The Library of Esoterica

Jessica Hundley
678 Kč

7-Figure Coach

Tara Mullarkey
250 Kč

Shadow Rising

Robert Jordan
1 180 Kč

Economics for Business

John Sloman
1 963 Kč

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

Dan Mora
425 Kč

Engaging with Human Rights

Evelyne Schmid
714 Kč

Third Act Encore

Robert R. Blume
1 087 Kč

UNTITLED RED TOWER RELEASE

MAEHRER HANNAH NICOLE
332 Kč

The Substantive Law of the EU, 8e

Barnard
1 480 Kč

Bad Bishop

L.J. Shen
207 Kč

Dear Debbie

Freida McFadden
214 Kč

Quiver

Stephanie Spinner
163 Kč

Zákaznicí kteří koupili tuto knihu koupili také

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

Umi
1 733 Kč

Paris

Zola
243 Kč

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

Kadri Ouahab
1 101 Kč

Természetes spiritualitás

Pál Ferenc
229 Kč

La Normandie gourmande en 48 recettes (FR)

PERETTI
238 Kč

Mirai Nikki - New Edition 01

Josef Shanel
263 Kč

Heliosphere 2265 - Hetzjagd, 1 Audio-CD

Andreas Suchanek
273 Kč

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

Milan
701 Kč

Terapeutické rodičovstvo

Sarah Naish
432 Kč

Digitale Bildverarbeitung

Martin Werner
839 Kč

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

RICHARD-J
809 Kč

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

Christine R Draper
141 Kč

Oeuvres Completes Tome 3, 2

Sophie Cottin
496 Kč

Book of Blessings Heb

Raymond Cintas
1 344 Kč

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

CREBESSAC-VERNET-P-A
347 Kč

Capacidade de biossorcao de metais pesados em residuos organicos

Leandro Fabricio Sena
789 Kč

Nessahira

Esin Kiroglu
338 Kč

Iperaldosteronismo ed Ipertensione resistente

Mirko Parasiliti Caprino
1 082 Kč

Diagnose Algebraischen Denkens

ALEXANDER MEYER
1 498 Kč

The Raging Wrath Of The Easter Bunny Demo

Mr. Bungle
422 Kč

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

Stefanie Fritz
358 Kč

Tout un zoo en pâte à modeler

Oren
454 Kč

Journalistische Praxis - Das Monster der Fake News zähmen

Sulaiman Osho
789 Kč