Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Interactive Theorem Proving Mauricio Ayala-Rincón

Interactive Theorem Proving

Autor: Mauricio Ayala-Rincón, César A. Mu?oz
Język: Angielski
Oprawa: Miękka
Wydawca: Springer International Publishing AG
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.57 zł
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Th...

Informacje o książce

Autor
Mauricio Ayala-Rincón, César A. Mu?oz
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2017
strony
532
EAN
9783319661063
ISBN
331966106X
Enbook ID
16771860
Wydawca
Springer International Publishing AG
Waga
8248
Wymiary
155 x 235 x 29

Pełny opis

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.

Możesz być zainteresowany

In the Ocean

Stephanie Fizer Coleman
65.95 zł

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

Jenene Snyder
46.07 zł

Transition From Development to Production: Solving the Risk Equation

U S Department of Defense
79.39 zł

American Notes

Rudyard Kipling
27.76 zł

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

Sudoku Puzzle Books
49.97 zł

12 Strong - Die wahre Geschichte der US-Horse Soldiers

Nicolai Fuglsig
52.70 zł

Foxfire Book of Appalachian Cookery

Sean Brock
86.02 zł

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

Lant Carpenter
157.43 zł

Reminiscences Of Old Quebec (1890)

Daniel MacPherson
95.08 zł

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

Gavin Inglis
64.97 zł

Heidegger on Art and Art Works

J.J. Kockelmans
635.01 zł

Seven Years of Darkness

YOU-JEONG JEONG
48.80 zł

Witchcraft. The Library of Esoterica

Jessica Hundley
111.93 zł

7-Figure Coach

Tara Mullarkey
46.75 zł

Shadow Rising

Robert Jordan
206.92 zł

Economics for Business

John Sloman
380.53 zł

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

Dan Mora
79.59 zł

Engaging with Human Rights

Evelyne Schmid
132.10 zł

Third Act Encore

Robert R. Blume
200.30 zł

UNTITLED RED TOWER RELEASE

MAEHRER HANNAH NICOLE
62.54 zł

The Substantive Law of the EU, 8e

Barnard
288.27 zł

Bad Bishop

L.J. Shen
40.62 zł

Dear Debbie

Freida McFadden
37.60 zł

Quiver

Stephanie Spinner
30.09 zł

Klienci, którzy kupili tę książkę, kupili również

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

Umi
324.12 zł

Paris

Zola
42.47 zł

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

Kadri Ouahab
205.07 zł

Természetes spiritualitás

Pál Ferenc
45.20 zł

La Normandie gourmande en 48 recettes (FR)

PERETTI
41.69 zł

Mirai Nikki - New Edition 01

Josef Shanel
49.09 zł

Heliosphere 2265 - Hetzjagd, 1 Audio-CD

Andreas Suchanek
47.73 zł

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

Milan
122.94 zł

Terapeutické rodičovstvo

Sarah Naish
70.43 zł

Digitale Bildverarbeitung

Martin Werner
155.77 zł

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

RICHARD-J
148.76 zł

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

Christine R Draper
26.00 zł

Oeuvres Completes Tome 3, 2

Sophie Cottin
91.28 zł

Book of Blessings Heb

Raymond Cintas
246.87 zł

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

CREBESSAC-VERNET-P-A
63.90 zł

Capacidade de biossorcao de metais pesados em residuos organicos

Leandro Fabricio Sena
146.71 zł

Nessahira

Esin Kiroglu
62.44 zł

Iperaldosteronismo ed Ipertensione resistente

Mirko Parasiliti Caprino
201.47 zł

Diagnose Algebraischen Denkens

ALEXANDER MEYER
277.65 zł

The Raging Wrath Of The Easter Bunny Demo

Mr. Bungle
77.74 zł

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

Stefanie Fritz
66.63 zł

Tout un zoo en pâte à modeler

Oren
79.59 zł

Journalistische Praxis - Das Monster der Fake News zähmen

Sulaiman Osho
146.71 zł