Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Interactive Theorem Proving

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Interactive Theorem Proving Mauricio Ayala-Rincón
Libristo kod: 16771860
Nakladnici Springer International Publishing AG, kolovoz 2017
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Th... Cijeli opis
? points 125 b
51.63 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi / Igra/Igračka Igra
common.buy 78.71 €
Povoljno
Paris Zola / Knjiga Meki uvez
common.buy 10.30 €
Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab / Knjiga Meki uvez
common.buy 49.81 €
Természetes spiritualitás Pál Ferenc / Knjiga Meki uvez
common.buy 10.40 €
Pripremamo
La Normandie gourmande en 48 recettes (FR) PERETTI / Knjiga Meki uvez
common.buy 9.69 €
Top
Mirai Nikki - New Edition 01 Josef Shanel / Knjiga Meki uvez
common.buy 11.91 €
Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek / Audio Audio CD
common.buy 11.00 €
Maths 1re Enseignement scientifique (2023) - Manuel élève Milan / Knjiga Knjiga
common.buy 28.59 €
Terapeutické rodičovstvo Sarah Naish / Knjiga Meki uvez
common.buy 16.06 €
Digitale Bildverarbeitung Martin Werner / Knjiga Meki uvez
common.buy 37.78 €
Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J / Knjiga Meki uvez
common.buy 36.17 €
Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper / Knjiga Meki uvez
common.buy 6.36 €
Oeuvres Completes Tome 3, 2 Sophie Cottin / Knjiga Meki uvez
common.buy 22.12 €
Book of Blessings Heb Raymond Cintas / Knjiga Tvrdi uvez
common.buy 59.91 €
Memoire Sur Le Principe Fondamental de la Therapeutique Deduit de l'Observation Et de l'Experience CREBESSAC-VERNET-P-A / Knjiga Meki uvez
common.buy 15.55 €
Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena / Knjiga Meki uvez
common.buy 35.66 €
Nessahira Esin Kiroglu / Knjiga Meki uvez
common.buy 15.15 €
Iperaldosteronismo ed Ipertensione resistente Mirko Parasiliti Caprino / Knjiga Meki uvez
common.buy 48.90 €
Diagnose Algebraischen Denkens ALEXANDER MEYER / Knjiga Meki uvez
common.buy 67.39 €
The Raging Wrath Of The Easter Bunny Demo Mr. Bungle / Audio Audio CD
common.buy 18.89 €
Ist der Pfaffe Amis aus dem Schwankroman des Strickers ein Schelm, Narr oder ein Schalk? Stefanie Fritz / Knjiga Meki uvez
common.buy 16.16 €
Tout un zoo en pâte à modeler Oren / Knjiga binding.
common.buy 18.48 €
Journalistische Praxis - Das Monster der Fake News zähmen Sulaiman Osho / Knjiga Meki uvez
common.buy 35.66 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Interactive Theorem Proving
Autor Mauricio Ayala-Rincón, César A. Mu?oz
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2017
Broj stranica 532
EAN 9783319661063
ISBN 331966106X
Libristo kod 16771860
Nakladnici Springer International Publishing AG
Težina 8248
Dimenzije 155 x 235 x 29

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

In the Ocean Stephanie Fizer Coleman / Igra/Igračka Igra
common.buy 16.06 €
Caleb and The Trash Fairy: Caleb and the box car race Jenene Snyder / Knjiga Meki uvez
common.buy 11.21 €
Transition From Development to Production: Solving the Risk Equation U S Department of Defense / Knjiga Meki uvez
common.buy 19.29 €
American Notes Rudyard Kipling / Knjiga Meki uvez
common.buy 6.76 €
Sudoku Puzzle Book 200 MEDIUM Giant Size Puzzles: One Gigantic Large Print Puzzle Per Letter Size Page Sudoku Puzzle Books / Knjiga Meki uvez
common.buy 12.12 €
12 Strong - Die wahre Geschichte der US-Horse Soldiers Nicolai Fuglsig / Video Blu-ray
common.buy 12.22 €
Foxfire Book of Appalachian Cookery Sean Brock / Knjiga Meki uvez
common.buy 20.91 €
Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism Lant Carpenter / Knjiga Meki uvez
common.buy 38.19 €
Reminiscences Of Old Quebec (1890) Daniel MacPherson / Knjiga Meki uvez
common.buy 23.03 €
Alone Against the Frost: Solitaire Adventure in Canada's Wilds Gavin Inglis / Knjiga Meki uvez
common.buy 15.75 €
Heidegger on Art and Art Works J.J. Kockelmans / Knjiga Meki uvez
common.buy 154.20 €
Seven Years of Darkness YOU-JEONG JEONG / Knjiga Meki uvez
common.buy 11.81 €
Top
Witchcraft. The Library of Esoterica Jessica Hundley / Knjiga Tvrdi uvez
common.buy 28.89 €
7-Figure Coach Tara Mullarkey / Knjiga Meki uvez
common.buy 11.31 €
Shadow Rising Robert Jordan / Audio knjiga MP3
common.buy 47.69 €
Economics for Business John Sloman / Knjiga Meki uvez
common.buy 92.35 €
Batman/Superman: World's Finest Vol. 3: Elementary Dan Mora / Knjiga Tvrdi uvez
common.buy 18.08 €
Engaging with Human Rights Evelyne Schmid / Knjiga Tvrdi uvez
common.buy 32.02 €
Third Act Encore Robert R. Blume / Knjiga Tvrdi uvez
common.buy 48.60 €
UNTITLED RED TOWER RELEASE MAEHRER HANNAH NICOLE / Knjiga Meki uvez
common.buy 15.15 €
The Substantive Law of the EU, 8e Barnard / Knjiga Meki uvez
common.buy 70.02 €
Top
Bad Bishop L.J. Shen / Knjiga Meki uvez
common.buy 9.89 €
Top
Dear Debbie Freida McFadden / Knjiga Meki uvez
common.buy 9.08 €
Quiver Stephanie Spinner / Knjiga Meki uvez
common.buy 7.27 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun