Interactive Theorem Proving

Language: English

Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011

3642228623 / 9783642228629

  • Softcover
  • New
See all details

Seller: Rarewaves.com USA, London, London, United KingdomRarewaves.com USA

5-star seller

AbeBooks seller since June 11, 2025

View this seller's items
Softcover

Condition: New

£ 58.42

 Free Shipping 
Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Add to basket
Free 30-day returns

Item description from seller

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.

Seller Inventory # LU-9783642228629

Title
Interactive Theorem Proving
Author
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Publisher
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE
Publication year
2011
Condition
New
Binding
Paperback
Language
English
ISBN 10
3642228623
ISBN 13
9783642228629
Edition
2011th.
Item weight
603 grams
Dimensions
15.49 x 2.29 x 23.5 cm

Rarewaves.com USA

London, London, United Kingdom

5-star seller

AbeBooks seller since June 11, 2025

Shipping rates from United Kingdom to U.S.A.

Item9 to 14 business days9 to 14 business days
First item£ 0.00£ 0.00
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay

Seller's business information

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, United Kingdom W1W 8BE