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 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

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.91 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi / Igra/Igrača Igra
common.buy 73.93 €
Poceni
Paris Zola / Knjiga Mehka
common.buy 10.32 €
Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab / Knjiga Mehka
common.buy 46.99 €
Természetes spiritualitás Pál Ferenc / Knjiga Mehka
common.buy 9.71 €
Kmalu
La Normandie gourmande en 48 recettes (FR) PERETTI / Knjiga Mehka
common.buy 9.31 €
Top
Mirai Nikki - New Edition 01 Josef Shanel / Knjiga Mehka
common.buy 11.23 €
Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek / Zvok Zvočni CD
common.buy 10.42 €
Maths 1re Enseignement scientifique (2023) - Manuel élève Milan / Knjiga Knjiga
common.buy 27.34 €
Terapeutické rodičovstvo Sarah Naish / Knjiga Mehka
common.buy 15.08 €
Digitale Bildverarbeitung Martin Werner / Knjiga Mehka
common.buy 35.74 €
Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J / Knjiga Mehka
common.buy 34.53 €
Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper / Knjiga Mehka
common.buy 5.97 €
Oeuvres Completes Tome 3, 2 Sophie Cottin / Knjiga Mehka
common.buy 21.16 €
Book of Blessings Heb Raymond Cintas / Knjiga Trda
common.buy 57.32 €
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.78 €
Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena / Knjiga Mehka
common.buy 33.62 €
Nessahira Esin Kiroglu / Knjiga Mehka
common.buy 14.37 €
Iperaldosteronismo ed Ipertensione resistente Mirko Parasiliti Caprino / Knjiga Mehka
common.buy 46.18 €
Diagnose Algebraischen Denkens ALEXANDER MEYER / Knjiga Mehka
common.buy 63.90 €
The Raging Wrath Of The Easter Bunny Demo Mr. Bungle / Zvok Zvočni CD
common.buy 18.02 €
Ist der Pfaffe Amis aus dem Schwankroman des Strickers ein Schelm, Narr oder ein Schalk? Stefanie Fritz / Knjiga Mehka
common.buy 15.28 €
Tout un zoo en pâte à modeler Oren / Knjiga binding.
common.buy 17.61 €
Journalistische Praxis - Das Monster der Fake News zähmen Sulaiman Osho / Knjiga Mehka
common.buy 33.62 €

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

In the Ocean Stephanie Fizer Coleman / Igra/Igrača Igra
common.buy 14.98 €
Caleb and The Trash Fairy: Caleb and the box car race Jenene Snyder / Knjiga Mehka
common.buy 10.62 €
Transition From Development to Production: Solving the Risk Equation U S Department of Defense / Knjiga Mehka
common.buy 18.32 €
American Notes Rudyard Kipling / Knjiga Mehka
common.buy 6.37 €
Sudoku Puzzle Book 200 MEDIUM Giant Size Puzzles: One Gigantic Large Print Puzzle Per Letter Size Page Sudoku Puzzle Books / Knjiga Mehka
common.buy 11.54 €
12 Strong - Die wahre Geschichte der US-Horse Soldiers Nicolai Fuglsig / Film Blu-ray
common.buy 11.74 €
Foxfire Book of Appalachian Cookery Sean Brock / Knjiga Mehka
common.buy 19.64 €
Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism Lant Carpenter / Knjiga Mehka
common.buy 36.45 €
Reminiscences Of Old Quebec (1890) Daniel MacPherson / Knjiga Mehka
common.buy 21.97 €
Alone Against the Frost: Solitaire Adventure in Canada's Wilds Gavin Inglis / Knjiga Mehka
common.buy 14.78 €
Heidegger on Art and Art Works J.J. Kockelmans / Knjiga Mehka
common.buy 146.14 €
Seven Years of Darkness YOU-JEONG JEONG / Knjiga Mehka
common.buy 11.03 €
Top
Witchcraft. The Library of Esoterica Jessica Hundley / Knjiga Trda
common.buy 27.23 €
7-Figure Coach Tara Mullarkey / Knjiga Mehka
common.buy 10.62 €
Shadow Rising Robert Jordan / Zvočnica MP3
common.buy 45.06 €
Economics for Business John Sloman / Knjiga Mehka
common.buy 88.11 €
Batman/Superman: World's Finest Vol. 3: Elementary Dan Mora / Knjiga Trda
common.buy 16.80 €
Engaging with Human Rights Evelyne Schmid / Knjiga Trda
common.buy 30.48 €
Third Act Encore Robert R. Blume / Knjiga Trda
common.buy 46.38 €
UNTITLED RED TOWER RELEASE MAEHRER HANNAH NICOLE / Knjiga Mehka
common.buy 14.17 €
The Substantive Law of the EU, 8e Barnard / Knjiga Mehka
common.buy 66.63 €
Top
Bad Bishop L.J. Shen / Knjiga Mehka
common.buy 9.21 €
Top
Dear Debbie Freida McFadden / Knjiga Mehka
common.buy 8.50 €
Quiver Stephanie Spinner / Knjiga Mehka
common.buy 6.98 €

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?