Interactive Theorem Proving by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2011)

Brand new: lowest price

AU $113.99

Free postage
  • Get it by Tue, 27 Mar - Fri, 13 Apr from Sydney, Australia
  • Brand new condition
  • • Returns accepted - 30 days money back
This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. Interactive Theorem Proving.