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

  • Not safe to deliver by Christmas NOTSANTA SAFE
    Formal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

Anders P. Ravn
    Product form
      FORMAT: Paperback / softback

      R 1,565.19 Price and availability exclusive to website

      YOU COULD EARN 1,565.19 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 10 - 15 Business Days
      BUY NOW PAY LATER
      From R 260.86 per month!
      3x monthly payments of R 521.73 with
      4x fortnightly payments of R 391.29 with
      This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.
      Format: Paperback / softback CONTRIBUTORS: Anders P. Ravn EAN: 9783540650034 COUNTRY: Germany PAGES: WEIGHT: 1100 g HEIGHT: 235 cm
      PUBLISHED BY: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG DATE PUBLISHED: 1998-09-02 CITY: GENRE: COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Information Technology, COMPUTERS / Programming / General, COMPUTERS / Languages / General WIDTH: 155 cm SPINE:

      Book Themes:

      Compilers and interpreters, Mathematical theory of computation, Systems analysis and design, Computer architecture and logic 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)
      This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.
      Format: Paperback / softback CONTRIBUTORS: Anders P. Ravn EAN: 9783540650034 COUNTRY: Germany PAGES: WEIGHT: 1100 g HEIGHT: 235 cm
      PUBLISHED BY: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG DATE PUBLISHED: 1998-09-02 CITY: GENRE: COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Information Technology, COMPUTERS / Programming / General, COMPUTERS / Languages / General WIDTH: 155 cm SPINE:

      Book Themes:

      Compilers and interpreters, Mathematical theory of computation, Systems analysis and design, Computer architecture and logic 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