30-Day No-Hassle Returns
We guarantee your satisfaction on every purchase or rental with a full refund within 30 days of your purchase date.
Fast Customer Service
If you need help, our friendly customer service team is here to help!
The Best Prices on Textbook Rentals, Guaranteed
You can shop with confidence with the best rental prices at ValoreBooks.com. If you find a lower priced rental, we will match it.

Verifying Concurrent Processes Using Temporal Logic

Author: 


ISBN-13: 

9780387112053


ISBN: 

0387112057


Pub Date: 
Publisher:  Springer
Summary: Hailpern, R. T. is the author of Verifying Concurrent Processes Using Temporal Logic, published 1982 under ISBN 9780387112053 and 0387112057. One Verifying Concurrent Processes Using Temporal Logic textbook is available for sale on ValoreBooks.com, or buy new starting at $50.76.

Marketplace Prices
1 New from $50.76
  • New $50.76
Price + Shipping
Condition
Details
Product Details

ISBN-13: 9780387112053


ISBN: 0387112057


Pub Date:
Publisher: Springer
ValoreBooks.com is the smartest bookstore for cheap Verifying Concurrent Processes Using Temporal Logic rentals, or used and new copies available to buy.
Where's My Stuff?
Shipping & Returns