Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Interactive Theorem Proving

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Interactive Theorem Proving Mauricio Ayala-Rincón
Libristo kód: 16771860
Nakladateľstvo Springer International Publishing AG, august 2017
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Th... Celý popis
? points 135 b
55.93 €
Skladom u dodávateľa v malom množstve Odosielame za 11-15 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi / Hra/Hračka Hra
common.buy 78.94 €
Lacno
Paris Zola / Kniha Brožovaná
common.buy 10.33 €
Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab / Kniha Brožovaná
common.buy 56.84 €
Természetes spiritualitás Pál Ferenc / Kniha Brožovaná
common.buy 11.04 €
La Normandie gourmande en 48 recettes (FR) PERETTI / Kniha Brožovaná
common.buy 10.12 €
Top
Mirai Nikki - New Edition 01 Josef Shanel / Kniha Brožovaná
common.buy 11.95 €
Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek / Audio Audio CD
common.buy 11.64 €
Maths 1re Enseignement scientifique (2023) - Manuel élève Milan / Kniha Kniha
common.buy 29.89 €
Terapeutické rodičovstvo Sarah Naish / Kniha Brožovaná
common.buy 14.48 €
Digitale Bildverarbeitung Martin Werner / Kniha Brožovaná
common.buy 41.24 €
Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J / Kniha Brožovaná
common.buy 34.55 €
Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper / Kniha Brožovaná
common.buy 5.97 €
Oeuvres Completes Tome 3, 2 Sophie Cottin / Kniha Brožovaná
common.buy 21.17 €
Book of Blessings Heb Raymond Cintas / Kniha Pevná
common.buy 60.09 €
Memoire Sur Le Principe Fondamental de la Therapeutique Deduit de l'Observation Et de l'Experience CREBESSAC-VERNET-P-A / Kniha Brožovaná
common.buy 14.79 €
Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena / Kniha Brožovaná
common.buy 40.93 €
Nessahira Esin Kiroglu / Kniha Brožovaná
common.buy 15.19 €
Iperaldosteronismo ed Ipertensione resistente Mirko Parasiliti Caprino / Kniha Brožovaná
common.buy 55.93 €
Diagnose Algebraischen Denkens ALEXANDER MEYER / Kniha Brožovaná
common.buy 75.39 €
The Raging Wrath Of The Easter Bunny Demo Mr. Bungle / Audio Audio CD
common.buy 18.94 €
Ist der Pfaffe Amis aus dem Schwankroman des Strickers ein Schelm, Narr oder ein Schalk? Stefanie Fritz / Kniha Brožovaná
common.buy 16.21 €
Tout un zoo en pâte à modeler Oren / Kniha binding.
common.buy 19.35 €
Journalistische Praxis - Das Monster der Fake News zähmen Sulaiman Osho / Kniha Brožovaná
common.buy 40.93 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Interactive Theorem Proving
Autor Mauricio Ayala-Rincón, César A. Mu?oz
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2017
Počet strán 532
EAN 9783319661063
ISBN 331966106X
Libristo kód 16771860
Nakladateľstvo Springer International Publishing AG
Váha 8248
Rozmery 155 x 235 x 29

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Systémová analýza a systémový dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

In the Ocean Stephanie Fizer Coleman / Hra/Hračka Hra
common.buy 16.10 €
Caleb and The Trash Fairy: Caleb and the box car race Jenene Snyder / Kniha Brožovaná
common.buy 10.63 €
Transition From Development to Production: Solving the Risk Equation U S Department of Defense / Kniha Brožovaná
common.buy 18.33 €
American Notes Rudyard Kipling / Kniha Brožovaná
common.buy 6.37 €
Sudoku Puzzle Book 200 MEDIUM Giant Size Puzzles: One Gigantic Large Print Puzzle Per Letter Size Page Sudoku Puzzle Books / Kniha Brožovaná
common.buy 11.54 €
12 Strong - Die wahre Geschichte der US-Horse Soldiers Nicolai Fuglsig / Video Blu-ray
common.buy 12.86 €
Foxfire Book of Appalachian Cookery Sean Brock / Kniha Brožovaná
common.buy 19.65 €
Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism Lant Carpenter / Kniha Brožovaná
common.buy 36.47 €
Reminiscences Of Old Quebec (1890) Daniel MacPherson / Kniha Brožovaná
common.buy 21.98 €
Alone Against the Frost: Solitaire Adventure in Canada's Wilds Gavin Inglis / Kniha Brožovaná
common.buy 14.79 €
Heidegger on Art and Art Works J.J. Kockelmans / Kniha Brožovaná
common.buy 168.02 €
Seven Years of Darkness YOU-JEONG JEONG / Kniha Brožovaná
common.buy 11.85 €
Top
Witchcraft. The Library of Esoterica Jessica Hundley / Kniha Pevná
common.buy 32.12 €
7-Figure Coach Tara Mullarkey / Kniha Brožovaná
common.buy 10.63 €
Shadow Rising Robert Jordan / Audiokniha MP3
common.buy 50.46 €
Economics for Business John Sloman / Kniha Brožovaná
common.buy 97.08 €
Batman/Superman: World's Finest Vol. 3: Elementary Dan Mora / Kniha Pevná
common.buy 18.13 €
Engaging with Human Rights Evelyne Schmid / Kniha Pevná
common.buy 31.81 €
Third Act Encore Robert R. Blume / Kniha Pevná
common.buy 46.41 €
Top
UNTITLED RED TOWER RELEASE MAEHRER HANNAH NICOLE / Kniha Brožovaná
common.buy 15.19 €
The Substantive Law of the EU, 8e Barnard / Kniha Brožovaná
common.buy 70.22 €
Top
Bad Bishop L.J. Shen / Kniha Brožovaná
common.buy 11.04 €
Top
Dear Debbie Freida McFadden / Kniha Brožovaná
common.buy 9.92 €
Quiver Stephanie Spinner / Kniha Brožovaná
common.buy 7.29 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?