Oeuvres Completes, I, Correspondance 1774-1792
C. P. Courtney, Dennis Wood, Peter Rickard
₹4,078
Interactive Theorem Proving
First International Conference, Itp 2010 Edinburgh, Uk, July 11-14, 2010, Proceedings
by Matt Kaufmann, Lawrence C. Paulson
₹4,675
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- 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.
From the publisher
This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. The 33 revised full papers presented were carefully reviewed and selected from 74 submissions. The papers are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools.
Description supplied by the publisher.
Book details
More in Law
The Court and Court Society in Ancient Monarchies
A. J. S. Spawforth
₹4,981
Religion, Law and the Growth of Constitutional Thought, 1150-1650
Brian Tierney
₹2,579
The Performance of Law
Randy Gordon
₹5,842
The Social Life of Fluids
Jules David Law
₹4,782
The Politics of Human Rights
Sabine C. Carey, Mark Gibney, Steven C. Poe
₹5,363
Integrated Uncertainty in Knowledge Modelling and Decision Making
Yongchuan Tang, Van-Nam Huynh, Jonathan Lawry
₹5,525
Muslim Networks from Hajj to Hip Hop
Miriam Cooke, Bruce B. Lawrence
₹3,995
Encyclopedia of Television Law Shows
Hal Erickson
₹3,556
English Population History from Family Reconstitution 1580-1837
E. A. Wrigley, R. S. Davies, J. E. Oeppen
₹4,774
The Constitution of Society
Anthony Giddens
₹3,842
Cinema of Swords
Lawrence Ellsworth
₹4,847