Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Interactive Theorem Proving

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Interactive Theorem Proving Mauricio Ayala-Rincón
Koda Libristo: 16771860
Založba Springer International Publishing AG, avgust 2017
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Th... Celoten opis
? points 118 b
48.57 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Nouveau Rond-point 2 - Livre de l'élève - Éd. hybride / Knjiga Mehka
common.buy 44.54 €
Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi / Igra/Igrača Igra
common.buy 73.41 €
Abdahn Effendi Karl May / Knjiga Trda
common.buy 25.84 €
Terapeutické rodičovstvo Sarah Naish / Knjiga Mehka
common.buy 14.98 €
Maths 1re Enseignement scientifique (2023) - Manuel élève Milan / Knjiga Knjiga
common.buy 26.04 €
Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek / Zvok Zvočni CD
common.buy 10.15 €
Mirai Nikki - New Edition 01 Josef Shanel / Knjiga Mehka
common.buy 12.26 €
Top
Šestnáct způsobů, jak ubránit opevněné město K. J. Parker / Knjiga Mehka
common.buy 17.99 €
La Normandie gourmande en 48 recettes (FR) PERETTI / Knjiga Mehka
common.buy 8.14 €
People Painting / Knjiga Trda
common.buy 27.04 €
Természetes spiritualitás Pál Ferenc / Knjiga Mehka
common.buy 10.15 €
Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab / Knjiga Mehka
common.buy 46.66 €
Digitale Bildverarbeitung Martin Werner / Knjiga Mehka
common.buy 35.49 €
Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J / Knjiga Mehka
common.buy 34.29 €
Der strafrechtliche Versammlungsschutz Georg Meiski / Knjiga Mehka
common.buy 95.03 €
Oeuvres Completes Tome 3, 2 Sophie Cottin / Knjiga Mehka
common.buy 20.81 €
Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper / Knjiga Mehka
common.buy 6.23 €
Book of Blessings Heb Raymond Cintas / Knjiga Trda
common.buy 57.54 €
Nessahira Esin Kiroglu / Knjiga Mehka
common.buy 14.28 €
Memoire Sur Le Principe Fondamental de la Therapeutique Deduit de l'Observation Et de l'Experience CREBESSAC-VERNET-P-A / Knjiga Mehka
common.buy 14.67 €
Poslední habsburský císař Karel I. Katrin Unterreiner / Knjiga Knjiga
common.buy 10.95 €
Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena / Knjiga Mehka
common.buy 33.38 €
Be Kind (Ukrainian-English) Livia Lemgruber / Knjiga Mehka
common.buy 16.38 €
Iperaldosteronismo ed Ipertensione resistente Mirko Parasiliti Caprino / Knjiga Mehka
common.buy 45.85 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Interactive Theorem Proving
Avtor Mauricio Ayala-Rincón, César A. Mu?oz
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2017
Število strani 532
EAN 9783319661063
ISBN 331966106X
Koda Libristo 16771860
Založba Springer International Publishing AG
Teža 8248
Mere 155 x 235 x 29

Kategorije

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Artificial intelligence
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Top
Alone Against the Frost: Solitaire Adventure in Canada's Wilds Gavin Inglis / Knjiga Mehka
common.buy 15.08 €
St. Mark's Rest John Ruskin / Knjiga Mehka
common.buy 19.30 €
Caleb and The Trash Fairy: Caleb and the box car race Jenene Snyder / Knjiga Mehka
common.buy 10.55 €
Transition From Development to Production: Solving the Risk Equation U S Department of Defense / Knjiga Mehka
common.buy 18.20 €
American Notes Rudyard Kipling / Knjiga Mehka
common.buy 6.63 €
Sudoku Puzzle Book 200 MEDIUM Giant Size Puzzles: One Gigantic Large Print Puzzle Per Letter Size Page Sudoku Puzzle Books / Knjiga Mehka
common.buy 13.17 €
Lions and Lambs Charlie Smith / Knjiga Mehka
common.buy 6.93 €
12 Strong - Die wahre Geschichte der US-Horse Soldiers Nicolai Fuglsig / Film Blu-ray
common.buy 11.35 €
Foxfire Book of Appalachian Cookery Sean Brock / Knjiga Mehka
common.buy 20.71 €
Blind Faith: Sweetshade, Book 1 Delphia Baisden / Knjiga Mehka
common.buy 10.55 €
Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism Lant Carpenter / Knjiga Mehka
common.buy 36.21 €
Reminiscences Of Old Quebec (1890) Daniel MacPherson / Knjiga Mehka
common.buy 21.82 €
Ventures Level 1 Workbook Gretchen BitterlinDennis JohnsonDonna PriceSylvia Ramirez / Knjiga Mehka
common.buy 10.66 €
In the Ocean Stephanie Fizer Coleman / Igra/Igrača Igra
common.buy 14.88 €
Seven Years of Darkness YOU-JEONG JEONG / Knjiga Mehka
common.buy 10.95 €
Top
Witchcraft. The Library of Esoterica Jessica Hundley / Knjiga Trda
common.buy 26.34 €
7-Figure Coach Tara Mullarkey / Knjiga Mehka
common.buy 10.55 €
Shadow Rising Robert Jordan / Zvočnica MP3
common.buy 45.07 €
Top
Economics for Business John Sloman / Knjiga Mehka
common.buy 91.71 €
Batman/Superman: World's Finest Vol. 3: Elementary Dan Mora / Knjiga Trda
common.buy 17.09 €
Engaging with Human Rights Evelyne Schmid / Knjiga Trda
common.buy 30.26 €
Third Act Encore Robert R. Blume / Knjiga Trda
common.buy 43.94 €
The Marriage Auction 2, Book One Audrey Carlan / Knjiga Mehka
common.buy 13.97 €
UNTITLED RED TOWER RELEASE MAEHRER HANNAH NICOLE / Knjiga Mehka
common.buy 14.07 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?