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

Tools and Algorithms for the Construction and Analysis of Systems

Dana Fisman
    Product form
      FORMAT: Paperback / softback

      R 1,471.50 Price and availability exclusive to website

      YOU COULD EARN 1,471.50 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 10 - 15 Business Days
      BUY NOW PAY LATER
      From R 245.25 per month!
      3x monthly payments of R 490.50 with
      4x fortnightly payments of R 367.87 with
      This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report.TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems. 
      Format: Paperback / softback CONTRIBUTORS: Dana Fisman EAN: 9783030995232 COUNTRY: Switzerland PAGES: WEIGHT: 920 g HEIGHT: 235 cm
      PUBLISHED BY: Springer Nature Switzerland AG DATE PUBLISHED: 2022-03-30 CITY: GENRE: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation WIDTH: 155 cm SPINE:

      Book Themes:

      Computer hardware, Software Engineering, Mathematical theory of computation, Computer modelling and simulation

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report.TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems. 
      Format: Paperback / softback CONTRIBUTORS: Dana Fisman EAN: 9783030995232 COUNTRY: Switzerland PAGES: WEIGHT: 920 g HEIGHT: 235 cm
      PUBLISHED BY: Springer Nature Switzerland AG DATE PUBLISHED: 2022-03-30 CITY: GENRE: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation WIDTH: 155 cm SPINE:

      Book Themes:

      Computer hardware, Software Engineering, Mathematical theory of computation, 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