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

  • Safe delivery by Christmas SANTA SAFE
    Introduction to the Formal Design of Real-Time Systems

Introduction to the Formal Design of Real-Time Systems

David F. Gray
    Product form
      FORMAT: Paperback / softback

      R 1,585.18 Price and availability exclusive to website

      YOU COULD EARN 1,585.18 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 10 - 15 Business Days
      BUY NOW PAY LATER
      From R 264.19 per month!
      3x monthly payments of R 528.39 with
      4x fortnightly payments of R 396.29 with
      but when we state that A 'equals' B , as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ­ er see different things as being equal, and how we can produce algo­ rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCCS designs. • The final section is the one which the students like best. Once enough of SCCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check­ ing that the design meets its specification are both error-prone and tedious. This section introduces the concurrency work bench, which shoulders most of the burden. How you use the book is up to you; I'm not even going to suggest path­ ways. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.
      Format: Paperback / softback CONTRIBUTORS: David F. Gray EAN: 9783540761402 COUNTRY: Germany PAGES: WEIGHT: 720 g HEIGHT: 235 cm
      PUBLISHED BY: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG DATE PUBLISHED: 1998-11-01 CITY: GENRE: COMPUTERS / Artificial Intelligence / Expert Systems, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / Cell Phones & Devices, MATHEMATICS / Logic WIDTH: 155 cm SPINE:

      Book Themes:

      Software Engineering, Mathematical theory of computation, Systems analysis and design, Expert systems / knowledge-based systems

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      but when we state that A 'equals' B , as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ­ er see different things as being equal, and how we can produce algo­ rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCCS designs. • The final section is the one which the students like best. Once enough of SCCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check­ ing that the design meets its specification are both error-prone and tedious. This section introduces the concurrency work bench, which shoulders most of the burden. How you use the book is up to you; I'm not even going to suggest path­ ways. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.
      Format: Paperback / softback CONTRIBUTORS: David F. Gray EAN: 9783540761402 COUNTRY: Germany PAGES: WEIGHT: 720 g HEIGHT: 235 cm
      PUBLISHED BY: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG DATE PUBLISHED: 1998-11-01 CITY: GENRE: COMPUTERS / Artificial Intelligence / Expert Systems, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / Cell Phones & Devices, MATHEMATICS / Logic WIDTH: 155 cm SPINE:

      Book Themes:

      Software Engineering, Mathematical theory of computation, Systems analysis and design, 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