EAN: 9783319221014

INTERACTIVE THEOREM PROVING KARTONIERT (TB)

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.

Aktuelle Preise zur EAN 9783319221014

Produktinformationen zur 9783319221014