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 Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

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
286.33 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi / Joc / Jucărie Joc
common.buy 440.00 lei
Leftin
Paris Zola / Carte Carte broșată
common.buy 54.38 lei
Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab / Carte Carte broșată
common.buy 277.57 lei
Természetes spiritualitás Pál Ferenc / Carte Carte broșată
common.buy 57.82 lei
Curând
La Normandie gourmande en 48 recettes (FR) PERETTI / Carte Carte broșată
common.buy 53.23 lei
Top
Mirai Nikki - New Edition 01 Josef Shanel / Carte Carte broșată
common.buy 66.70 lei
Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek / Audio Audio CD
common.buy 61.27 lei
Maths 1re Enseignement scientifique (2023) - Manuel élève Milan / Carte Carte
common.buy 157.20 lei
Terapeutické rodičovstvo Sarah Naish / Carte Carte broșată
common.buy 89.97 lei
Digitale Bildverarbeitung Martin Werner / Carte Carte broșată
common.buy 210.02 lei
Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J / Carte Carte broșată
common.buy 198.85 lei
Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper / Carte Carte broșată
common.buy 34.96 lei
Oeuvres Completes Tome 3, 2 Sophie Cottin / Carte Carte broșată
common.buy 122.34 lei
Book of Blessings Heb Raymond Cintas / Carte Copertă tare
common.buy 329.76 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 85.59 lei
Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena / Carte Carte broșată
common.buy 198.65 lei
Nessahira Esin Kiroglu / Carte Carte broșată
common.buy 83.92 lei
Iperaldosteronismo ed Ipertensione resistente Mirko Parasiliti Caprino / Carte Carte broșată
common.buy 272.55 lei
Diagnose Algebraischen Denkens ALEXANDER MEYER / Carte Carte broșată
common.buy 374.13 lei
The Raging Wrath Of The Easter Bunny Demo Mr. Bungle / Audio Audio CD
common.buy 104.38 lei
Ist der Pfaffe Amis aus dem Schwankroman des Strickers ein Schelm, Narr oder ein Schalk? Stefanie Fritz / Carte Carte broșată
common.buy 89.97 lei
Tout un zoo en pâte à modeler Oren / Carte binding.
common.buy 101.77 lei
Journalistische Praxis - Das Monster der Fake News zähmen Sulaiman Osho / Carte Carte broșată
common.buy 198.65 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

In the Ocean Stephanie Fizer Coleman / Joc / Jucărie Joc
common.buy 89.97 lei
Caleb and The Trash Fairy: Caleb and the box car race Jenene Snyder / Carte Carte broșată
common.buy 62.00 lei
Transition From Development to Production: Solving the Risk Equation U S Department of Defense / Carte Carte broșată
common.buy 106.68 lei
American Notes Rudyard Kipling / Carte Carte broșată
common.buy 37.15 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 67.11 lei
12 Strong - Die wahre Geschichte der US-Horse Soldiers Nicolai Fuglsig / Videoclip Blu-ray
common.buy 67.63 lei
Foxfire Book of Appalachian Cookery Sean Brock / Carte Carte broșată
common.buy 116.91 lei
Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism Lant Carpenter / Carte Carte broșată
common.buy 211.07 lei
Reminiscences Of Old Quebec (1890) Daniel MacPherson / Carte Carte broșată
common.buy 127.35 lei
Alone Against the Frost: Solitaire Adventure in Canada's Wilds Gavin Inglis / Carte Carte broșată
common.buy 87.99 lei
Heidegger on Art and Art Works J.J. Kockelmans / Carte Carte broșată
common.buy 855.89 lei
Seven Years of Darkness YOU-JEONG JEONG / Carte Carte broșată
common.buy 66.49 lei
Top
Witchcraft. The Library of Esoterica Jessica Hundley / Carte Copertă tare
common.buy 160.86 lei
7-Figure Coach Tara Mullarkey / Carte Carte broșată
common.buy 63.46 lei
Shadow Rising Robert Jordan / Audiobook MP3
common.buy 265.04 lei
Economics for Business John Sloman / Carte Carte broșată
common.buy 509.32 lei
Batman/Superman: World's Finest Vol. 3: Elementary Dan Mora / Carte Copertă tare
common.buy 101.77 lei
Engaging with Human Rights Evelyne Schmid / Carte Copertă tare
common.buy 177.56 lei
Third Act Encore Robert R. Blume / Carte Copertă tare
common.buy 268.69 lei
UNTITLED RED TOWER RELEASE MAEHRER HANNAH NICOLE / Carte Carte broșată
common.buy 85.90 lei
The Substantive Law of the EU, 8e Barnard / Carte Carte broșată
common.buy 386.97 lei
Top
Bad Bishop L.J. Shen / Carte Carte broșată
common.buy 55.63 lei
Top
Dear Debbie Freida McFadden / Carte Carte broșată
common.buy 51.25 lei
Quiver Stephanie Spinner / Carte Carte broșată
common.buy 40.18 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