FREE delivery to all EXCLUSIVE BOOKS stores nationwide. FREE delivery to your door on all orders over R450. Excludes all international deliveries.

Temporal Logic of Reactive and Concurrent Systems

Zohar Manna, Amir Pnueli
    Product form
      FORMAT: Hardback

      R 3,330.52 Price and availability exclusive to website

      YOU COULD EARN 3,330.52 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 10 - 15 Business Days
      BUY NOW PAY LATER
      From R 555.08 per month!
      3x monthly payments of R 1,110.17 with
      4x fortnightly payments of R 832.63 with
      Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. 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. This volume, the first of two, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann Institute of Science, Israel, respectively.
      Format: CONTRIBUTORS: Zohar Manna, Amir Pnueli EAN: 9780387976648 COUNTRY: United States PAGES: WEIGHT: 1770 g HEIGHT: 235 cm
      PUBLISHED BY: Springer-Verlag New York Inc. DATE PUBLISHED: 1991-12-18 CITY: GENRE: COMPUTERS / Artificial Intelligence / Expert Systems, COMPUTERS / Programming / General, COMPUTERS / Networking / Hardware WIDTH: 155 cm SPINE:

      Book Themes:

      Network hardware, Mathematical theory of computation, Expert systems / knowledge-based systems

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. 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. This volume, the first of two, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann Institute of Science, Israel, respectively.
      Format: CONTRIBUTORS: Zohar Manna, Amir Pnueli EAN: 9780387976648 COUNTRY: United States PAGES: WEIGHT: 1770 g HEIGHT: 235 cm
      PUBLISHED BY: Springer-Verlag New York Inc. DATE PUBLISHED: 1991-12-18 CITY: GENRE: COMPUTERS / Artificial Intelligence / Expert Systems, COMPUTERS / Programming / General, COMPUTERS / Networking / Hardware WIDTH: 155 cm SPINE:

      Book Themes:

      Network hardware, Mathematical theory of computation, Expert systems / knowledge-based systems

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)

      Recently viewed products

      Login

      Forgot your password?

      Don't have an account yet?
      Create account