• Shop by category
  • Powered by eBay
  • The Temporal Logic of Reactive and Concurrent Systems - 9781461269502

    • Item No : 314627528419
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : books--etc
    • Current Bid : US $53.80
    • * Item Description

    • ISBN-13: 9781461269502, 978-1461269502. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category