Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129)
Hailpern, B. T.
ISBN 10:
3540112057 ISBN 13:
9783540112051
Published by Springer, 1982
Language: English
New
Condition: New
Soft cover
Sold by Ria Christie Collections, Uxbridge, United Kingdom
AbeBooks Seller since 25 March 2015
New - Soft cover
Condition: New
Price:
£ 50.82
Convert Currency
Free
shipping within United Kingdom
Destination, rates & speeds
Quantity: Over 20 available
Add to basket