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
    Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

Lucas Lima
    Product form
      FORMAT: Paperback / softback

      R 2,342.51 Price and availability exclusive to website

      YOU COULD EARN 2,342.51 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 10 - 15 Business Days
      BUY NOW PAY LATER
      From R 390.41 per month!
      3x monthly payments of R 780.83 with
      4x fortnightly payments of R 585.62 with
      This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held  virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the constructionof high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area. 
      Format: Paperback / softback CONTRIBUTORS: Lucas Lima EAN: 9783031224751 COUNTRY: Switzerland PAGES: WEIGHT: 261 g HEIGHT: 235 cm
      PUBLISHED BY: Springer International Publishing AG DATE PUBLISHED: 2022-12-01 CITY: GENRE: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / Expert Systems, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Speech & Audio Processing WIDTH: 155 cm SPINE:

      Book Themes:

      Network hardware, Software Engineering, Mathematical theory of computation, Artificial intelligence, Expert systems / knowledge-based systems, Natural language and machine translation

      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 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held  virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the constructionof high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area. 
      Format: Paperback / softback CONTRIBUTORS: Lucas Lima EAN: 9783031224751 COUNTRY: Switzerland PAGES: WEIGHT: 261 g HEIGHT: 235 cm
      PUBLISHED BY: Springer International Publishing AG DATE PUBLISHED: 2022-12-01 CITY: GENRE: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / Expert Systems, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Speech & Audio Processing WIDTH: 155 cm SPINE:

      Book Themes:

      Network hardware, Software Engineering, Mathematical theory of computation, Artificial intelligence, Expert systems / knowledge-based systems, Natural language and machine translation

      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