Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Procee by Marko van EekelenInteractive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Procee by Marko van Eekelen

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The…

byMarko van Eekelen

Paperback | August 2, 2011

Pricing and Purchase Info

$104.20 online 
$124.50 list price save 16%
Earn 521 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The…Format:PaperbackDimensions:383 pages, 23.5 × 15.5 × 0.1 inPublished:August 2, 2011Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642228623

ISBN - 13:9783642228629

Look for similar items by category:

Reviews