Theorem Proving in Higher Order Logics (English, Victor A. Carreno | Cesar A. Munoz | Sofiene Tahar)
by Victor A. Carreno | Cesar A. Munoz | Sofiene Tahar
Delivery options
₹5,680
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,680
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540440390
ISBN-10
3540440399
Author
Victor A. Carreno | Cesar A. Munoz | Sofiene Tahar
About the Book
This book constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002, held in Hampton, VA, USA in August 2002. The 20 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 34 submissions. All current issues in HOL theorem proving and formal verification of software and hardware systems are addressed. Among the HOL theorem…
ISBN: 9783540440390
ISBN-13: 9783540440390
ISBN-10: 3540440399
Frequently Asked Questions
What is the price of Theorem Proving in Higher Order Logics?
Theorem Proving in Higher Order Logics starts from ₹5680 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Theorem Proving in Higher Order Logics?
Victor A. Carreno | Cesar A. Munoz | Sofiene Tahar is the author of Theorem Proving in Higher Order Logics. Browse more books by Victor A. Carreno | Cesar A. Munoz | Sofiene Tahar on BookBajar.
Is Theorem Proving in Higher Order Logics available in Paperback and Hardcover?
Yes, Theorem Proving in Higher Order Logics is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Theorem Proving in Higher Order Logics?
Yes, BookBajar offers free delivery for Theorem Proving in Higher Order Logics across India. No minimum order value required.
Is Cash on Delivery available for Theorem Proving in Higher Order Logics?
Yes, Cash on Delivery (COD) is available for Theorem Proving in Higher Order Logics on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540440390
🛒 Customers Also Bought
Ökonomik Der Wärmeenergien (English, Karl Schmidt)
₹4,182
Bonifacius (English, Lina Schneider | W. F. G. Nicolai)
₹5,149
Schweißverbindungen Im Kessel- Und Behälterbau (English, E. Höhn)
₹5,991
Elektro-Werkzeuge Kleinwerkzeugmaschinen Mit Einbaumotor Und Biegsame Wellen (English, Hans Fein)
₹4,208
Arzthaftungsrecht - Rechtspraxis Und Perspektiven (English, T. Ratajczak | Arbeitsgem Rechtsanwälte Im Medizinrecht | K. -O Bergmann)
₹5,578
Storkebaum-Kraft Warenzeichengesetz (English, R. Storkebaum | K. a. Endemann | A. Kraft)
₹4,141Related Products
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
The Data Center as a Computer (English, Luiz André Barroso | Urs Hölzle | Parthasarathy Ranganathan)
₹5,095
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883