Springer
Verifying Concurrent Processes Using Temporal Logic (English, B. T. Hailpern)
₹5,481
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Book Details
| ISBN-13 | 9783540112051 |
| ISBN-10 | 3540112057 |
Product Description
About the Book
Verifying Concurrent Processes Using Temporal Logic is a carefully curated title by B. T. Hailpern, published by Springer.
ISBN: 9783540112051
Frequently Asked Questions
What is the price of Verifying Concurrent Processes Using Temporal Logic?
Verifying Concurrent Processes Using Temporal Logic is available at ₹5,481 on BookShops.in.
Does BookShops.in offer free delivery for Verifying Concurrent Processes Using Temporal Logic?
FREE delivery on all orders for Verifying Concurrent Processes Using Temporal Logic.
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 BookShops.in. Pay when your order arrives.
What is the return policy for Verifying Concurrent Processes Using Temporal Logic?
BookShops.in offers a 15-day hassle-free return policy for Verifying Concurrent Processes Using Temporal Logic. Contact us at support@bookshops.in or call +91 81899 68108.
Is Verifying Concurrent Processes Using Temporal Logic authentic?
Verifying Concurrent Processes Using Temporal Logic is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
