Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Interactive Theorem Proving Mauricio Ayala-Rincón

Interactive Theorem Proving

Szerző: Mauricio Ayala-Rincón, César A. Mu?oz
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer International Publishing AG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 373 Ft
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Th...

Információk a könyvről

Szerző
Mauricio Ayala-Rincón, César A. Mu?oz
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2017
oldal
532
EAN
9783319661063
ISBN
331966106X
Enbook ID
16771860
Kiadó
Springer International Publishing AG
Súly
8248
Méretek
155 x 235 x 29

Teljes leírás

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.

Érdekelheti

In the Ocean

Stephanie Fizer Coleman
5 907 Ft

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

Jenene Snyder
4 193 Ft

Transition From Development to Production: Solving the Risk Equation

U S Department of Defense
7 221 Ft

American Notes

Rudyard Kipling
2 511 Ft

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

Sudoku Puzzle Books
4 535 Ft

12 Strong - Die wahre Geschichte der US-Horse Soldiers

Nicolai Fuglsig
4 423 Ft

Foxfire Book of Appalachian Cookery

Sean Brock
7 945 Ft

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

Lant Carpenter
14 239 Ft

Reminiscences Of Old Quebec (1890)

Daniel MacPherson
8 602 Ft

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

Gavin Inglis
5 993 Ft

Heidegger on Art and Art Works

J.J. Kockelmans
57 894 Ft

Seven Years of Darkness

YOU-JEONG JEONG
4 364 Ft

Witchcraft. The Library of Esoterica

Jessica Hundley
10 559 Ft

7-Figure Coach

Tara Mullarkey
4 324 Ft

Shadow Rising

Robert Jordan
17 362 Ft

Economics for Business

John Sloman
33 441 Ft

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

Dan Mora
6 933 Ft

Engaging with Human Rights

Evelyne Schmid
12 012 Ft

Third Act Encore

Robert R. Blume
18 118 Ft

UNTITLED RED TOWER RELEASE

MAEHRER HANNAH NICOLE
5 849 Ft

The Substantive Law of the EU, 8e

Barnard
25 397 Ft

Bad Bishop

L.J. Shen
3 797 Ft

Dear Debbie

Freida McFadden
3 280 Ft

Quiver

Stephanie Spinner
2 713 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

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

Umi
29 887 Ft

Paris

Zola
3 568 Ft

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

Kadri Ouahab
18 820 Ft

Természetes spiritualitás

Pál Ferenc
4 157 Ft

La Normandie gourmande en 48 recettes (FR)

PERETTI
3 496 Ft

Mirai Nikki - New Edition 01

Josef Shanel
4 535 Ft

Heliosphere 2265 - Hetzjagd, 1 Audio-CD

Andreas Suchanek
4 009 Ft

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

Milan
10 316 Ft

Terapeutické rodičovstvo

Sarah Naish
5 907 Ft

Digitale Bildverarbeitung

Martin Werner
14 226 Ft

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

RICHARD-J
13 412 Ft

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

Christine R Draper
2 353 Ft

Oeuvres Completes Tome 3, 2

Sophie Cottin
8 247 Ft

Book of Blessings Heb

Raymond Cintas
22 212 Ft

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

CREBESSAC-VERNET-P-A
5 777 Ft

Capacidade de biossorcao de metais pesados em residuos organicos

Leandro Fabricio Sena
13 466 Ft

Nessahira

Esin Kiroglu
5 678 Ft

Iperaldosteronismo ed Ipertensione resistente

Mirko Parasiliti Caprino
18 491 Ft

Diagnose Algebraischen Denkens

ALEXANDER MEYER
25 307 Ft

The Raging Wrath Of The Easter Bunny Demo

Mr. Bungle
7 050 Ft

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

Stefanie Fritz
6 105 Ft

Tout un zoo en pâte à modeler

Oren
6 677 Ft

Journalistische Praxis - Das Monster der Fake News zähmen

Sulaiman Osho
13 466 Ft