Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Interactive Theorem Proving

Limba englezăengleză
Carte Carte broșată
Carte Interactive Theorem Proving Mauricio Ayala-Rincón
Codul Libristo: 16771860
Editura Springer International Publishing AG, august 2017
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Th... Descrierea completă
? points 132 b
288.51 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Nouveau Rond-point 2 - Livre de l'élève - Éd. hybride / Carte Carte broșată
common.buy 260.43 lei
Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi / Joc / Jucărie Joc
common.buy 443.76 lei
Abdahn Effendi Karl May / Carte Copertă tare
common.buy 140.96 lei
Terapeutické rodičovstvo Sarah Naish / Carte Carte broșată
common.buy 90.74 lei
Maths 1re Enseignement scientifique (2023) - Manuel élève Milan / Carte Carte
common.buy 151.91 lei
Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek / Audio Audio CD
common.buy 60.26 lei
Mirai Nikki - New Edition 01 Josef Shanel / Carte Carte broșată
common.buy 67.28 lei
Top
Šestnáct způsobů, jak ubránit opevněné město K. J. Parker / Carte Carte broșată
common.buy 108.30 lei
La Normandie gourmande en 48 recettes (FR) PERETTI / Carte Carte broșată
common.buy 47.16 lei
People Painting / Carte Copertă tare
common.buy 158.02 lei
Természetes spiritualitás Pál Ferenc / Carte Carte broșată
common.buy 58.32 lei
Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab / Carte Carte broșată
common.buy 279.99 lei
Digitale Bildverarbeitung Martin Werner / Carte Carte broșată
common.buy 211.79 lei
Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J / Carte Carte broșată
common.buy 200.56 lei
Der strafrechtliche Versammlungsschutz Georg Meiski / Carte Carte broșată
common.buy 408.85 lei
Oeuvres Completes Tome 3, 2 Sophie Cottin / Carte Carte broșată
common.buy 109.20 lei
Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper / Carte Carte broșată
common.buy 35.26 lei
Book of Blessings Heb Raymond Cintas / Carte Copertă tare
common.buy 335.85 lei
Nessahira Esin Kiroglu / Carte Carte broșată
common.buy 84.64 lei
Memoire Sur Le Principe Fondamental de la Therapeutique Deduit de l'Observation Et de l'Experience CREBESSAC-VERNET-P-A / Carte Carte broșată
common.buy 86.34 lei
Poslední habsburský císař Karel I. Katrin Unterreiner / Carte Carte
common.buy 66.18 lei
Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena / Carte Carte broșată
common.buy 200.36 lei
Be Kind (Ukrainian-English) Livia Lemgruber / Carte Carte broșată
common.buy 85.73 lei
Iperaldosteronismo ed Ipertensione resistente Mirko Parasiliti Caprino / Carte Carte broșată
common.buy 274.97 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Interactive Theorem Proving
Autor Mauricio Ayala-Rincón, César A. Mu?oz
Limba engleză
Legare Carte - Carte broșată
Data publicării 2017
Număr pagini 532
EAN 9783319661063
ISBN 331966106X
Codul Libristo 16771860
Editura Springer International Publishing AG
Greutatea 8248
Dimensiuni 155 x 235 x 29

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Top
Alone Against the Frost: Solitaire Adventure in Canada's Wilds Gavin Inglis / Carte Carte broșată
common.buy 88.74 lei
St. Mark's Rest John Ruskin / Carte Carte broșată
common.buy 115.52 lei
Caleb and The Trash Fairy: Caleb and the box car race Jenene Snyder / Carte Carte broșată
common.buy 62.53 lei
Transition From Development to Production: Solving the Risk Equation U S Department of Defense / Carte Carte broșată
common.buy 107.59 lei
American Notes Rudyard Kipling / Carte Carte broșată
common.buy 37.47 lei
Sudoku Puzzle Book 200 MEDIUM Giant Size Puzzles: One Gigantic Large Print Puzzle Per Letter Size Page Sudoku Puzzle Books / Carte Carte broșată
common.buy 77.61 lei
Lions and Lambs Charlie Smith / Carte Carte broșată
common.buy 39.70 lei
12 Strong - Die wahre Geschichte der US-Horse Soldiers Nicolai Fuglsig / Videoclip Blu-ray
common.buy 66.38 lei
Foxfire Book of Appalachian Cookery Sean Brock / Carte Carte broșată
common.buy 125.45 lei
Blind Faith: Sweetshade, Book 1 Delphia Baisden / Carte Carte broșată
common.buy 62.53 lei
Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism Lant Carpenter / Carte Carte broșată
common.buy 212.87 lei
Reminiscences Of Old Quebec (1890) Daniel MacPherson / Carte Carte broșată
common.buy 128.44 lei
Ventures Level 1 Workbook Gretchen BitterlinDennis JohnsonDonna PriceSylvia Ramirez / Carte Carte broșată
common.buy 62.74 lei
In the Ocean Stephanie Fizer Coleman / Joc / Jucărie Joc
common.buy 90.55 lei
Seven Years of Darkness YOU-JEONG JEONG / Carte Carte broșată
common.buy 141.59 lei
Top
Witchcraft. The Library of Esoterica Jessica Hundley / Carte Copertă tare
common.buy 162.25 lei
7-Figure Coach Tara Mullarkey / Carte Carte broșată
common.buy 63.97 lei
Shadow Rising Robert Jordan / Audiobook MP3
common.buy 268.78 lei
Top
Economics for Business John Sloman / Carte Carte broșată
common.buy 539.32 lei
Batman/Superman: World's Finest Vol. 3: Elementary Dan Mora / Carte Copertă tare
common.buy 104.79 lei
Engaging with Human Rights Evelyne Schmid / Carte Copertă tare
common.buy 179.10 lei
Third Act Encore Robert R. Blume / Carte Copertă tare
common.buy 230.46 lei
The Marriage Auction 2, Book One Audrey Carlan / Carte Carte broșată
common.buy 84.83 lei
UNTITLED RED TOWER RELEASE MAEHRER HANNAH NICOLE / Carte Carte broșată
common.buy 86.34 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?