• Shop by category
  • Powered by eBay
  • Temporal Verification of Reactive Systems: Safety by Manna, Zohar; Pnueli, Amir

    • Item No : 197342011466
    • Condition : Like New
    • Brand : No brand Info
    • Seller : thrift.books
    • Current Bid : US $100.31
    • * Item Description

    • Temporal Verification of Reactive Systems: Safety by Manna, Zohar; Pnueli, Amir Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category