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

NASA Formal Methods

Klaus Havelund
    Product form
      FORMAT: Paperback / softback

      R 2,201.82 Price and availability exclusive to website

      YOU COULD EARN 2,201.82 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 10 - 15 Business Days
      BUY NOW PAY LATER
      From R 366.97 per month!
      3x monthly payments of R 733.94 with
      4x fortnightly payments of R 550.45 with
      This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015.The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods.
      Format: Paperback / softback CONTRIBUTORS: Klaus Havelund EAN: 9783319175232 COUNTRY: Switzerland PAGES: WEIGHT: 718 g HEIGHT: 235 cm
      PUBLISHED BY: Springer International Publishing AG DATE PUBLISHED: 2015-04-09 CITY: GENRE: COMPUTERS / Operating Systems / General, COMPUTERS / Programming / General, COMPUTERS / Languages / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Logic WIDTH: 155 cm SPINE:

      Book Themes:

      Operating systems, Computer programming / software engineering, Compilers and interpreters, Software Engineering, Mathematical theory of computation

      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 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015.The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods.
      Format: Paperback / softback CONTRIBUTORS: Klaus Havelund EAN: 9783319175232 COUNTRY: Switzerland PAGES: WEIGHT: 718 g HEIGHT: 235 cm
      PUBLISHED BY: Springer International Publishing AG DATE PUBLISHED: 2015-04-09 CITY: GENRE: COMPUTERS / Operating Systems / General, COMPUTERS / Programming / General, COMPUTERS / Languages / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Logic WIDTH: 155 cm SPINE:

      Book Themes:

      Operating systems, Computer programming / software engineering, Compilers and interpreters, Software Engineering, Mathematical theory of computation

      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