The Temporal Logic of Reactive and Concurrent Systems
Manna Zohar Pnueli Amir
ISBN 10:
0387976647 ISBN 13:
9780387976648
Published by Springer, 1991
Language: English
New
Condition: New
Hardcover
Sold by Majestic Books, Hounslow, United Kingdom
AbeBooks Seller since January 19, 2007
New - Hardcover
Condition: New
Price:
US$ 116.81
Convert Currency
US$ 8.87
shipping from United Kingdom to U.S.A.
Destination, rates & speeds
Quantity: 1 available
Add to basket