- Home /
- Books /
- Educational and Professional Books /
- Academic and Professional Books /
- Computers Internet Books /
- Software Books /
- CAD-CAM Books / Computer-Aided Reasoning ACL2 Case Studies An Approach ACL2 Case Studies Pt 2 Advances in Formal Methods
Computer-Aided Reasoning ACL2 Case Studies An Approach ACL2 Case Studies Pt 2 Advances in Formal Methods - 9780792378495
₹24635
About the Book :
- Language : English
- Binding : hc runder r cken kaschiert
- Contributors :
Computer-Aided Reasoning ACL2 Case Studies An Approach ACL2 Case Studies Pt 2 Advances in Formal Methods Details :
DETAILS
- Language : English
- Binding : hc runder r cken kaschiert
- Contributors :
Computer-Aided Reasoning ACL2 Case Studies An Approach ACL2 Case Studies Pt 2 Advances in Formal Methods Price History
- The best price for Computer-Aided Reasoning ACL2 Case Studies An Approach ACL2 Case Studies Pt 2 Advances in Formal Methods in India is Rs. as per May 19, 2024, 5:00 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
Computer-Aided Reasoning ACL2 Case Studies An Approach ACL2 Case Studies Pt 2 Advances in Formal Methods Related Books :
₹88 onwards
- Ellen Finkelstein
₹4526 onwards
- Chris Spear, Greg Tumbush
₹2805 onwards
- Peter H. Feiler, David P. Gluch
₹10525 onwards
- Niraj K. Jha, Niraj K. Jha, Sandip Kundu
₹9869 onwards
- Paul A. Duran, Paul A. Duran
₹11634 onwards
- Allen M. Dewey, Stephen W. Director, Allen M. Dewey
₹10794 onwards
- Jacob K. White, Alberto L. Sangiovanni-Vincentelli, Jacob K. White
₹8393 onwards
- Jim Fitzgerald, Frank E. Puerta, Paul Richard
₹13046 onwards
- Bruce G. Batchelor, Paul F. Whelan
₹10263 onwards
- Nikolaos C. Xiros, Prabhat Hajela, Ian Parmee
₹6420 onwards
- Erwin Schoitsch
₹6941 onwards
- Redmill