✓ 100% Original Books — Direct from Publishers🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 Lakhs of Titles in Stock⚡ Fast Dispatch Same Day🏅 Trusted by Indian Readers
✓ 100% Original Books — Direct from Publishers🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 Lakhs of Titles in Stock⚡ Fast Dispatch Same Day🏅 Trusted by Indian Readers
Verifying Concurrent Processes Using Temporal Logic (English, B. T. Hailpern) - Image 1 - BookBajar

Verifying Concurrent Processes Using Temporal Logic (English, B. T. Hailpern)

by B. T. Hailpern

Delivery options

₹5,481
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,481

Book Details

Publisher
Springer
Language
English
ISBN-13
9783540112051
ISBN-10
3540112057
Author
B. T. Hailpern

About the Book

Verifying Concurrent Processes Using Temporal Logic is a carefully curated title by B. T. Hailpern, published by Springer.

ISBN: 9783540112051

ISBN-13: 9783540112051
ISBN-10: 3540112057

Frequently Asked Questions

What is the price of Verifying Concurrent Processes Using Temporal Logic?
Verifying Concurrent Processes Using Temporal Logic starts from ₹5481 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Verifying Concurrent Processes Using Temporal Logic?
B. T. Hailpern is the author of Verifying Concurrent Processes Using Temporal Logic. Browse more books by B. T. Hailpern on BookBajar.
Is Verifying Concurrent Processes Using Temporal Logic available in Paperback and Hardcover?
Yes, Verifying Concurrent Processes Using Temporal Logic is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Verifying Concurrent Processes Using Temporal Logic?
Yes, BookBajar offers free delivery for Verifying Concurrent Processes Using Temporal Logic across India. No minimum order value required.
Is Cash on Delivery available for Verifying Concurrent Processes Using Temporal Logic?
Yes, Cash on Delivery (COD) is available for Verifying Concurrent Processes Using Temporal Logic on BookBajar. You can pay when your order is delivered.
ISBN-10: 3540112057. ISBN-13: 9783540112051. Buy Verifying Concurrent Processes Using Temporal Logic (English, B. T. Hailpern) online. Verifying Concurrent Processes Using Temporal Logic (English, B. T. Hailpern) price in India. B. T. Hailpern books. Verifying Concurrent Processes Using Temporal Logic (English, B. T. Hailpern) best price. Verifying Concurrent Processes Using Temporal Logic (English, B. T. Hailpern) free delivery India. Verifying Concurrent Processes Using Temporal Logic (English, B. T. Hailpern) BookBajar.
Product ID: isbn-9783540112051