1. Home
  2. eBooks
  3. Non-Fiction
  4. Computing & information technology
  5. Computer science
Interactive Theorem Proving

Interactive Theorem Proving

by Jasmin Christian Blanchette and Stephan Merz
Epub (Kobo), Epub (Adobe)
Publication Date: 14/09/2016
Be the first to write a review

Share This eBook:

  $76.99
Add to List

This item is delivered digitally

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.

ISBN:
9783319431444
9783319431444
Category:
Mathematical theory of computation
Format:
Epub (Kobo), Epub (Adobe)
Publication Date:
14-09-2016
Language:
English
Publisher:
Springer International Publishing

This item is delivered digitally

You can find this item in:

Computer programming / software development Systems analysis & design Algorithms & data structures Mathematical theory of computation Computer modelling & simulation Computer architecture & logic design Discrete mathematics Software Engineering Computer science
Show more Show less

Reviews

Be the first to review Interactive Theorem Proving.