Articoli correlati a Interactive Theorem Proving: 6th International Conference,...

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings - Brossura

 
9783319221038: Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Brossura
ISBN 10: 3319221035 ISBN 13: 9783319221038
Casa editrice: Springer, 2015

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2015
Lingua
Inglese
ISBN 10 
3319221035
ISBN 13 
9783319221038
Rilegatura
Copertina flessibile
Numero di pagine
484
Redattore
Urban Christian, Zhang Xingyuan
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783319221014: Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings: 9236

Edizione in evidenza

ISBN 10:  3319221019 ISBN 13:  9783319221014
Casa editrice: Springer, 2015
Brossura