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
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 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 GlowMirror. Available in Paperback.
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 GlowMirror.
Is Theorem Proving in Higher Order Logics available in Paperback and Hardcover?
Yes, Theorem Proving in Higher Order Logics is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Theorem Proving in Higher Order Logics?
Yes, GlowMirror 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 GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783540440390
🛒 Customers Also Bought
Die Kriegsverletzungen Des Gesichts (English, Wolfgang Rosenthal)
₹3,508
Leistungselektronik (English, Manfred Michel)
₹5,498
Survivalguide Schreiben (English, Gabriele Bensberg)
₹2,027
Electric Power Grid Reliability Evaluation: Models and Methods (English, Paperback, Chanan Singh)
₹2,700
Repetitorium Theoretische Physik (English, Armin Wachter | K. Schilling | Henning Hoeber)
₹4,237
Fluorimetrie (English, Maximilian Zander)
₹4,601Related Products
Chancen Für Das Deutsche Gesundheitssystem (English, Michael E. Porter | Clemens Guth)
₹4,965
Theoretische Physik 3 (English, Reiner M. Dreizler | Cora S. Lüdde)
₹2,634
Kohärente Optik (English, Werner Lauterborn | Thomas Kurz | Martin Wiesenfeldt)
₹3,508
Die Grossglockner-Hochalpenstrasse (English, Franz Wallack)
₹3,508
Königin Luise (English, Eduard Engel)
₹5,820