Temporal Verification of Reactive Systems: Safety
by Zohar Manna, Amir Pnueli
Hardcover, 512 Pages, Published 1995, 1st Edition
List Price: $129.00
ISBN-10: 0-387-94459-1 (0387944591)
ISBN-13: 978-0-387-94459-3 (9780387944593) |  | Add to Wish List | Set Price Alert
|
|
| New & Used Books |
Shipping to United States  , Total Price in U.S. Dollars (change)
Displaying Stores in Any Language (change)
 |
 |
| Store | Condition | Price | + | Ship | = | Total | | |
|
| Amazon Marketplace
Best Value! | New | $75.00 | + | $3.99 | = | $78.99 | Buy Now | |
|
| Amazon Marketplace | New | $75.03 | + | $3.99 | = | $79.02 | Buy Now | |
|
| Amazon | New | $102.77 | + | $0.00 | = | $102.77 | Buy Now | |
|
|
International currency rates last updated: 11/18/2008 12:40:00 PM | |