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

Using Event-B for Critical Device Software Systems

Keith Glover
    Product form
      FORMAT: Paperback / softback
      YOU COULD EARN 0 FUTURE RETAIL DISCOUNTS.

      This product is either out of print or out of stock. Add it to your wishlist and we will automatically let you know if it comes back into stock. Add to Wishlist

      ESTIMATED DELIVERY: Possibly out of print
      BUY NOW PAY LATER
      From R 0.00 per month!
      3x monthly payments of R 0.00 with
      4x fortnightly payments of R 0.00 with

      This product is either out of print or out of stock. Add it to your wishlist and we will automatically let you know if it comes back into stock. Add to Wishlist

      Format: Paperback / softback CONTRIBUTORS: Keith Glover EAN: 9781981128860 COUNTRY: PAGES: WEIGHT: 776 g HEIGHT: 280 cm
      PUBLISHED BY: Createspace Independent Publishing Platform DATE PUBLISHED: 2017-08-23 CITY: GENRE: COMPUTERS / Computer Simulation WIDTH: 216 cm SPINE:

      Book Themes:

      Computer modelling and simulation

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      Format: Paperback / softback CONTRIBUTORS: Keith Glover EAN: 9781981128860 COUNTRY: PAGES: WEIGHT: 776 g HEIGHT: 280 cm
      PUBLISHED BY: Createspace Independent Publishing Platform DATE PUBLISHED: 2017-08-23 CITY: GENRE: COMPUTERS / Computer Simulation WIDTH: 216 cm SPINE:

      Book Themes:

      Computer modelling and simulation

      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