Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Interactive Theorem Proving

Lingua IngleseInglese
Libro In brossura
Libro Interactive Theorem Proving Mauricio Ayala-Rincón
Codice Libristo: 16771860
Casa editrice Springer International Publishing AG, agosto 2017
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Th... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi / Gioco/giocattolo Gioco
common.buy 82.69 €
Economico
Paris Zola / Libro In brossura
common.buy 10.19 €
Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab / Libro In brossura
common.buy 52.19 €
Természetes spiritualitás Pál Ferenc / Libro In brossura
common.buy 11.49 €
In preparazione
La Normandie gourmande en 48 recettes (FR) PERETTI / Libro In brossura
common.buy 10.49 €
I migliori
Mirai Nikki - New Edition 01 Josef Shanel / Libro In brossura
common.buy 12.49 €
Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek / Audio CD audio
common.buy 12.09 €
Maths 1re Enseignement scientifique (2023) - Manuel élève Milan / Libro Libro
common.buy 30.79 €
Terapeutické rodičovstvo Sarah Naish / Libro In brossura
common.buy 17.89 €
Digitale Bildverarbeitung Martin Werner / Libro In brossura
common.buy 39.49 €
Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J / Libro In brossura
common.buy 37.39 €
Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper / Libro In brossura
common.buy 6.59 €
Oeuvres Completes Tome 3, 2 Sophie Cottin / Libro In brossura
common.buy 22.99 €
Book of Blessings Heb Raymond Cintas / Libro Rigido
common.buy 61.99 €
Memoire Sur Le Principe Fondamental de la Therapeutique Deduit de l'Observation Et de l'Experience CREBESSAC-VERNET-P-A / Libro In brossura
common.buy 16.09 €
Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena / Libro In brossura
common.buy 37.29 €
Nessahira Esin Kiroglu / Libro In brossura
common.buy 15.79 €
Iperaldosteronismo ed Ipertensione resistente Mirko Parasiliti Caprino / Libro In brossura
common.buy 51.19 €
Diagnose Algebraischen Denkens ALEXANDER MEYER / Libro In brossura
common.buy 70.29 €
The Raging Wrath Of The Easter Bunny Demo Mr. Bungle / Audio CD audio
common.buy 19.59 €
Ist der Pfaffe Amis aus dem Schwankroman des Strickers ein Schelm, Narr oder ein Schalk? Stefanie Fritz / Libro In brossura
common.buy 16.89 €
Tout un zoo en pâte à modeler Oren / Libro binding.
common.buy 19.89 €
Journalistische Praxis - Das Monster der Fake News zähmen Sulaiman Osho / Libro In brossura
common.buy 37.29 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Interactive Theorem Proving
Autore Mauricio Ayala-Rincón, César A. Mu?oz
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2017
Numero di pagine 532
EAN 9783319661063
ISBN 331966106X
Codice Libristo 16771860
Casa editrice Springer International Publishing AG
Peso 8248
Dimensioni 155 x 235 x 29

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Progettazione e analisi di sistemi
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

In the Ocean Stephanie Fizer Coleman / Gioco/giocattolo Gioco
common.buy 16.89 €
Caleb and The Trash Fairy: Caleb and the box car race Jenene Snyder / Libro In brossura
common.buy 11.59 €
Transition From Development to Production: Solving the Risk Equation U S Department of Defense / Libro In brossura
common.buy 20.09 €
American Notes Rudyard Kipling / Libro In brossura
common.buy 6.99 €
Sudoku Puzzle Book 200 MEDIUM Giant Size Puzzles: One Gigantic Large Print Puzzle Per Letter Size Page Sudoku Puzzle Books / Libro In brossura
common.buy 12.59 €
12 Strong - Die wahre Geschichte der US-Horse Soldiers Nicolai Fuglsig / Video Blu-ray
common.buy 13.19 €
Foxfire Book of Appalachian Cookery Sean Brock / Libro In brossura
common.buy 21.99 €
Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism Lant Carpenter / Libro In brossura
common.buy 39.69 €
Reminiscences Of Old Quebec (1890) Daniel MacPherson / Libro In brossura
common.buy 23.89 €
Alone Against the Frost: Solitaire Adventure in Canada's Wilds Gavin Inglis / Libro In brossura
common.buy 16.49 €
Heidegger on Art and Art Works J.J. Kockelmans / Libro In brossura
common.buy 160.89 €
Seven Years of Darkness YOU-JEONG JEONG / Libro In brossura
common.buy 12.49 €
I migliori
Witchcraft. The Library of Esoterica Jessica Hundley / Libro Rigido
common.buy 31.89 €
7-Figure Coach Tara Mullarkey / Libro In brossura
common.buy 11.89 €
Shadow Rising Robert Jordan / Audiolibro MP3
common.buy 52.29 €
Economics for Business John Sloman / Libro In brossura
common.buy 100.09 €
Batman/Superman: World's Finest Vol. 3: Elementary Dan Mora / Libro Rigido
common.buy 19.09 €
Engaging with Human Rights Evelyne Schmid / Libro Rigido
common.buy 33.39 €
Third Act Encore Robert R. Blume / Libro Rigido
common.buy 50.49 €
UNTITLED RED TOWER RELEASE MAEHRER HANNAH NICOLE / Libro In brossura
common.buy 16.09 €
The Substantive Law of the EU, 8e Barnard / Libro In brossura
common.buy 72.69 €
I migliori
Bad Bishop L.J. Shen / Libro In brossura
common.buy 10.49 €
I migliori
Dear Debbie Freida McFadden / Libro In brossura
common.buy 9.59 €
Quiver Stephanie Spinner / Libro In brossura
common.buy 7.59 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?