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  , Price in U.S. Dollars, Stores in Any Language (change)
 |
 |
| Store | Condition | Price | + | Ship | = | Total | | |
|
| Amazon Marketplace | Used | $74.00 | + | $3.99 | = | $77.99 | Buy Now | |
|
| Amazon Marketplace
Best Value! | New | $91.93 | + | $3.99 | = | $95.92 | Buy Now | |
|
| Amazon | New | $102.77 | + | $0.00 | = | $102.77 | Buy Now | |
|
|
International currency rates last updated: 10/15/2008 2:40:00 PM | |