- Home /
- Books /
- Educational and Professional Books /
- Academic and Professional Books /
- Science Technology Books /
- Technology Engineering Books /
- Computer Engineering Books /
- Logic Design Books / Interactive Theorem Proving And Program Development German English 1st Edition
Interactive Theorem Proving And Program Development German English 1st Edition - 9783540208549
G HuetAbout the Book :
- Language : German English
- Binding : Hardcover
- Contributors : G. Huet
Interactive Theorem Proving And Program Development German English 1st Edition Details :
DETAILS
- Language : German English
- Binding : Hardcover
- Contributors : G. Huet
Interactive Theorem Proving And Program Development German English 1st Edition Price History
- The best price for Interactive Theorem Proving And Program Development German English 1st Edition in India is Rs. as per December 31, 2024, 8:48 pm
- You save NAN% by purchasing it at for over which sells it for
- The prices for is valid in all major cities of India including Bangalore, Delhi, Hyderabad, Chennai, Mumbai, Kolkata and Pune. Please check instructions at the specific stores for any deviation.
- All prices mentioned above are in INR