- Home /
- Books /
- Educational and Professional Books /
- Academic and Professional Books /
- Science Technology Books /
- Technology Engineering Books /
- Computer Engineering Books /
- Logic Design Books / The Calculus of Computation Decision Procedures with Applications to Verification
The Calculus of Computation Decision Procedures with Applications to Verification - 9783642093470
Aaron R Bradley , Zohar MannaAbout the Book :
- Language : English
- Binding : Paperback
- Contributors : Aaron R. Bradley, Zohar Manna
The Calculus of Computation Decision Procedures with Applications to Verification Details :
DETAILS
- Language : English
- Binding : Paperback
- Contributors : Aaron R. Bradley, Zohar Manna
The Calculus of Computation Decision Procedures with Applications to Verification Price History
- The best price for The Calculus of Computation Decision Procedures with Applications to Verification in India is Rs. as per December 24, 2024, 8:53 am
- 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