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 7.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Interactive Theorem Proving

4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Interactive Theorem Proving Sandrine Blazy
Codice Libristo: 01664057
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, giugno 2013
This book constitutes the refereed proceedings of the 4th 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

Diccionario visual inglés / Libro In brossura
common.buy 14.39 €
Zpět o sto let na výlet Renata Šindelářová / Libro In brossura
common.buy 3.39 €
metodo Mystery. Un approccio infallibile per sedurre le donne più belle del mondo Mystery / Libro In brossura
common.buy 14.59 €
TEMARIO DE TROMBON VICENTE MONZO / Libro In brossura
common.buy 324.09 €
Angielski. Przewodnik językowy Patrycja Karnik / Libro In brossura
common.buy 13.79 €
Clef Junich Tanizaki / Libro In brossura
common.buy 12.49 €
Manual práctico de Defensa Personal para mujeres MANUEL MONTERO KIESOW / Libro In brossura
common.buy 24.99 €
Coches muy antiguos Ruiz Palacio / Libro In brossura
common.buy 19.49 €
Der Kreis Husum K. Sönnichsen / Libro In brossura
common.buy 25.29 €
Kostenfalle Messe? Anja Steinrücken / Libro In brossura
common.buy 54.09 €
Theaterhandwerk Alan Ayckbourn / Libro In brossura
common.buy 20.69 €
Aus der Praxis der Zuckerindustrie Otto Mittelstaedt / Libro In brossura
common.buy 14.09 €
Laubgewind Jakob Chr. Heer / Libro In brossura
common.buy 27.99 €
Brasilien im IBSA-Dialogforum Claudia Liebeswar / Libro In brossura
common.buy 16.89 €
Widerstand im totalitaren System - a priori chancenlos? Steffen Radtke / Libro In brossura
common.buy 16.89 €
USA und der internationale Klimaschutz Jan Hollmann / Libro In brossura
common.buy 16.89 €

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.§The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

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 Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2013
Numero di pagine 498
EAN 9783642396335
ISBN 364239633X
Codice Libristo 01664057
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 777
Dimensioni 155 x 235 x 29

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

Interactive Theorem Proving Gerwin Klein / Libro In brossura
common.buy 53.79 €
Horizons in Cancer Research Hiroto S Watanabe / Libro Rigido
common.buy 336.19 €
Nubia Lake Paddleboarding: A Guide To Flat Water Stand Up Paddling Vie Binga / Libro In brossura
common.buy 13.59 €
Golden Treasury of the History, Topography, Literature, Science, Art, and Religion of the Various Countries of the Globe James (University of the Highlands and Islands) Hunter / Libro Rigido
common.buy 40.69 €
How to Write Fanfiction Howexpert Press / Libro In brossura
common.buy 20.09 €
How Claims Spread Joel Best / Libro In brossura
common.buy 54.19 €
Tide Running Oonya Kempadoo / Libro In brossura
common.buy 22.59 €
Journey to Meet Beethoven Pat Champness / Libro In brossura
common.buy 11.19 €
Teaching Is a Privilege Elizabeth Cervini Manvell / Libro Rigido
common.buy 159.89 €
Birds of Myanmar Kyaw Nyunt Lwin / Libro In brossura
common.buy 51.89 €
Beauchamp Hall Danielle Steel / Libro In brossura
common.buy 30.19 €
Boost Your Immune System: Change Understanding About Healthy Eating, Change Your Mindset and Attitude Towards Healthy Living. Michal Kloczkowski / Libro In brossura
common.buy 6.49 €
Beyond 2.0 Steve Collins / Libro In brossura
common.buy 35.09 €
Time Series Analysis and Inverse Theory for Geophysicists David Gubbins / Libro In brossura
common.buy 99.19 €
Cinema of the 70s: 101 Iconic Movies John H Foote / Libro In brossura
common.buy 22.39 €

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