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

Formal Methods: Foundations and Applications

Christiano Braga
    Product form
      FORMAT: Paperback / softback

      R 1,774.30 Price and availability exclusive to website

      YOU COULD EARN 1,774.30 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 10 - 15 Business Days
      BUY NOW PAY LATER
      From R 295.71 per month!
      3x monthly payments of R 591.43 with
      4x fortnightly payments of R 443.57 with
      This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.
      Format: Paperback / softback CONTRIBUTORS: Christiano Braga EAN: 9783319150741 COUNTRY: Switzerland PAGES: WEIGHT: 2993 g HEIGHT: 235 cm
      PUBLISHED BY: Springer International Publishing AG DATE PUBLISHED: 2015-01-27 CITY: GENRE: BUSINESS & ECONOMICS / Information Management, COMPUTERS / Programming / General, COMPUTERS / Languages / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Logic WIDTH: 155 cm SPINE:

      Book Themes:

      Business mathematics and systems, 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 thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.
      Format: Paperback / softback CONTRIBUTORS: Christiano Braga EAN: 9783319150741 COUNTRY: Switzerland PAGES: WEIGHT: 2993 g HEIGHT: 235 cm
      PUBLISHED BY: Springer International Publishing AG DATE PUBLISHED: 2015-01-27 CITY: GENRE: BUSINESS & ECONOMICS / Information Management, COMPUTERS / Programming / General, COMPUTERS / Languages / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Logic WIDTH: 155 cm SPINE:

      Book Themes:

      Business mathematics and systems, 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