Interactive Theorem Proving - E-book

eBook

Interactive Theorem Proving - ENG

7th International Conference, Itp 2016, Nancy, France, August 22-25, 2016, Proceedings

eBook

$1,100.00

Disponible

Información adicional
Sinopsis

ISBN:	9783319431444
Formato:	ePub
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Programación algoritmos
Año de publicación:	2016-08-08

This book constitutes the refereed proceedings of the 7th InternationalÂ Conference on Interactive Theorem Proving, ITP 2016, held in Nancy,Â France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed andÂ selected from 55 submissions. The topics range from theoreticalÂ foundations to implementation aspects and applications in programÂ verification, security and formalization of mathematical theories.

eBooks