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