EAN: 9783319431437

INTERACTIVE THEOREM PROVING KARTONIERT (TB)

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.

Aktuelle Preise zur EAN 9783319431437

Produktinformationen zur 9783319431437