Stock image for illustration purposes only - book cover, edition or condition may vary.
Interactive Theorem Proving
. Ed(S): Eekelen, Marko Van; Geuvers, Herman; Schmaltz, Julien; Wiedijk, Freek
€ 64.71
FREE Delivery in Ireland
Description for Interactive Theorem Proving
Paperback. Constitutes the refereed proceedings of the Second International onference on Interactive Theorem proving, ITP 2011 that was held in Berg en Dal, The Netherlands. Editor(s): Eekelen, Marko van; Geuvers, Herman; Schmaltz, Julien; Wiedijk, Freek. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 394 pages, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 605.
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.
The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.
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.
The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
394
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
383
Place of Publication
Berlin, Germany
ISBN
9783642228629
SKU
V9783642228629
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Interactive Theorem Proving