Menu
Află starea comenzii
Contactați-ne
Carte Interactive Theorem Proving Mauricio Ayala-Rincón

Interactive Theorem Proving

Autor: Mauricio Ayala-Rincón, César A. Mu?oz
Limbă: engleză
Legare: Carte broșată
Editura: Springer International Publishing AG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
277.75 lei
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Th...

Informații despre carte

Autor
Mauricio Ayala-Rincón, César A. Mu?oz
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2017
Pagini
532
EAN
9783319661063
ISBN
331966106X
Enbook ID
16771860
Editura
Springer International Publishing AG
Greutate
8248
Dimensiuni
155 x 235 x 29

Descriere completă

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.

S-ar putea să te intereseze

In the Ocean

Stephanie Fizer Coleman
87.27 lei

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

Jenene Snyder
60.14 lei

Transition From Development to Production: Solving the Risk Equation

U S Department of Defense
103.48 lei

American Notes

Rudyard Kipling
36.04 lei

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

Sudoku Puzzle Books
65.10 lei

12 Strong - Die wahre Geschichte der US-Horse Soldiers

Nicolai Fuglsig
65.61 lei

Foxfire Book of Appalachian Cookery

Sean Brock
113.40 lei

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

Lant Carpenter
204.74 lei

Reminiscences Of Old Quebec (1890)

Daniel MacPherson
123.53 lei

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

Gavin Inglis
85.35 lei

Heidegger on Art and Art Works

J.J. Kockelmans
830.22 lei

Seven Years of Darkness

YOU-JEONG JEONG
64.49 lei

Witchcraft. The Library of Esoterica

Jessica Hundley
156.03 lei

7-Figure Coach

Tara Mullarkey
61.55 lei

Shadow Rising

Robert Jordan
257.09 lei

Economics for Business

John Sloman
494.03 lei

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

Dan Mora
98.72 lei

Engaging with Human Rights

Evelyne Schmid
172.23 lei

Third Act Encore

Robert R. Blume
260.63 lei

UNTITLED RED TOWER RELEASE

MAEHRER HANNAH NICOLE
83.33 lei

The Substantive Law of the EU, 8e

Barnard
375.36 lei

Bad Bishop

L.J. Shen
53.96 lei

Dear Debbie

Freida McFadden
49.71 lei

Quiver

Stephanie Spinner
38.98 lei

Clienții care au cumpărat această carte au mai cumpărat și

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

Umi
426.80 lei

Paris

Zola
52.75 lei

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

Kadri Ouahab
269.24 lei

Természetes spiritualitás

Pál Ferenc
56.09 lei

La Normandie gourmande en 48 recettes (FR)

PERETTI
51.63 lei

Mirai Nikki - New Edition 01

Josef Shanel
64.70 lei

Heliosphere 2265 - Hetzjagd, 1 Audio-CD

Andreas Suchanek
59.43 lei

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

Milan
152.49 lei

Terapeutické rodičovstvo

Sarah Naish
87.27 lei

Digitale Bildverarbeitung

Martin Werner
203.72 lei

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

RICHARD-J
192.89 lei

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

Christine R Draper
33.91 lei

Oeuvres Completes Tome 3, 2

Sophie Cottin
118.67 lei

Book of Blessings Heb

Raymond Cintas
319.87 lei

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

CREBESSAC-VERNET-P-A
83.02 lei

Capacidade de biossorcao de metais pesados em residuos organicos

Leandro Fabricio Sena
192.69 lei

Nessahira

Esin Kiroglu
81.40 lei

Iperaldosteronismo ed Ipertensione resistente

Mirko Parasiliti Caprino
264.38 lei

Diagnose Algebraischen Denkens

ALEXANDER MEYER
362.90 lei

The Raging Wrath Of The Easter Bunny Demo

Mr. Bungle
101.25 lei

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

Stefanie Fritz
87.27 lei

Tout un zoo en pâte à modeler

Oren
98.72 lei

Journalistische Praxis - Das Monster der Fake News zähmen

Sulaiman Osho
192.69 lei