Delivery included to the United States

Interactive Theorem Proving

Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : Proceedings - LNCS Sublibrary. SL 1, Theoretical Computer Science and General Issues

2010

Paperback (30 Jun 2010)

Save $16.25

  • RRP $123.03
  • $106.78
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools.

Book information

ISBN: 9783642140518
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 2010
DEWEY: 511.36028563
DEWEY edition: 22
Language: English
Number of pages: 493
Weight: 771g
Height: 236mm
Width: 155mm
Spine width: 28mm