Your Waterstones card is changing, introducing...
TELL ME MORE
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings - Lecture Notes in Computer Science 7998 (Paperback)
  • Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings - Lecture Notes in Computer Science 7998 (Paperback)
zoom

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings - Lecture Notes in Computer Science 7998 (Paperback)

(editor), (editor), (editor)
£59.99
Paperback 498 Pages / Published: 19/07/2013
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642396335
Number of pages: 498
Weight: 777 g
Dimensions: 235 x 155 x 26 mm
Edition: 2013 ed.

You may also be interested in...

The End of Error
Added to basket
Bayesian Methods for Hackers
Added to basket
A First Course in Coding Theory
Added to basket
Sets, Logic and Maths for Computing
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
Discrete Mathematics
Added to basket
Concrete Mathematics
Added to basket
Networks
Added to basket
£52.00
Hardback
How to Think About Algorithms
Added to basket
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
Cryptanalysis
Added to basket
The Lattice Boltzmann Equation
Added to basket
The Elements of Statistical Learning
Added to basket
Foundation Mathematics
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.