Interactive Theorem Proving

Name: Interactive Theorem Proving: Third International Conference
Brand: Springer
SKU: 9783642323461
Price: 5590.00 INR
Availability: InStock

Third International Conference

by Lennart Beringer, Amy Felty

Springer · 2012

₹5,590

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Published by Springer in 2012, Interactive Theorem Proving: Third International Conference by Lennart Beringer & Amy Felty is available as a new copy.

The book deals with Automatic theorem proving, Congresses, Software engineering and Data protection.