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

6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Interactive Theorem Proving Christian Urban
Codice Libristo: 09378411
Casa editrice Springer International Publishing AG, agosto 2015
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Pro... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Upravlenie kachestvom v sovremennom otdelenii luchevoj diagnostiki K. V. Kushnir / Libro In brossura
common.buy 34.49 €
Klementina von Porretta Christoph Martin Wieland / Libro In brossura
common.buy 9.49 €
Age de Depart A La Retraite - Effets Sur l'Evolution Macroeconomique Belkouch Hicham / Libro In brossura
common.buy 33.59 €
Strandgut Tanja Korf / Libro In brossura
common.buy 9.59 €
Lebenserinnerungen und Denkwurdigkeiten Carl Gustav Carus / Libro In brossura
common.buy 25.29 €
Hippocrate, Tome IV, 3e Partie: Epidemies V Et VII Hippocrates / Libro In brossura
common.buy 87.09 €
Ein Motiv aus dem Kalender Florales zu jeder Jahreszeit (Puzzle) Anette Jäger / Gioco/giocattolo Gioco
common.buy 35.79 €
Laubsäge-Vorlage Bea - das freche Schaf / Gioco/giocattolo Giocattolo
common.buy 13.89 €
Streichquintett G-Dur (Smycový kvintet G dur) op. 77, Partitur und Stimmen Antonín Dvorák / Pubblicazioni cartacee Note
common.buy 27.49 €
Le Manuscrit cathare M.J. Rose / Libro In brossura
common.buy 21.29 €
Interessenkollisionen Bei Der Bestellung Des (Vorlaeufigen) Insolvenzverwalters Beziehungsweise (Vorlaeufigen) Sachwalters Aus Strafrechtlicher Sicht Helge Hölken / Libro Rigido
common.buy 91.79 €
Masa plastyczna Hey Clay puchate zwierzaki HCL15023 / Libro binding.
common.buy 30.49 €

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

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 Christian Urban, Xingyuan Zhang
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2015
Numero di pagine 469
EAN 9783319221014
ISBN 3319221019
Codice Libristo 09378411
Casa editrice Springer International Publishing AG
Peso 7256
Dimensioni 155 x 235 x 28

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Comunicazione tra computer e reti > Sicurezza di rete
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Informatica e Tecnologia dell’Informazione > Sicurezza informatica
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

Machine James Smythe / Libro In brossura
common.buy 14.69 €
The Smile of the Sphinx Marguerite Bouvet / Libro In brossura
common.buy 28.79 €
Bedouins into Bourgeois Calvert W. Jones / Libro Rigido
common.buy 137.89 €
Deus Comedieta Tade Bolade / Libro In brossura
common.buy 12.79 €
Biocalorimetry Margarida Bastos / Libro Rigido
common.buy 289.29 €
Harmony in Chopin David Damschroder / Libro In brossura
common.buy 49.79 €
Childbirth Trauma Stergios K Doumouchtsis / Libro Rigido
common.buy 157.49 €
Shi'i Cosmopolitanisms in Africa Mara A Leichtman / Libro Rigido
common.buy 94.69 €
God's Not Dead Adult Study Guide Rice Broocks / Libro In brossura
common.buy 10.09 €
Brooklyn Heights Sublet Jonah Cohen / Libro In brossura
common.buy 28.89 €
Antiviral Agents Ernst Jucker / Libro In brossura
common.buy 53.79 €
Making Divorce Work Keith Barret / Libro In brossura
common.buy 9.59 €
Who is Jesus? Thomas P. Rausch / Libro In brossura
common.buy 22.09 €
It All Started with Gogol Thomas L Aman / Libro Rigido
common.buy 27.19 €
Stagecoach of Mariah Sandra K Lee / Libro In brossura
common.buy 26.09 €
Poetry of Being Vaidehi Raipat / Libro In brossura
common.buy 6.69 €
And All for What? D.W.J. Cuddeford / Libro Rigido
common.buy 48.49 €

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?