Description: Verifying Concurrent Processes Using Temporal Logic, Paperback by Hailpern, B. T., ISBN 3540112057, ISBN-13 9783540112051, Brand New, Free shipping in the US
Price: 73.69 USD
Location: Jessup, Maryland
End Time: 2024-12-29T16:03:16.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Book Title: Verifying Concurrent Processes Using Temporal Logic
Author: Hailpern, B. T.
Language: English
