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
    Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Maurizio Gabbrielli
    Product form
      FORMAT: Paperback / softback

      R 2,170.36 Price and availability exclusive to website

      YOU COULD EARN 2,170.36 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 10 - 15 Business Days
      BUY NOW PAY LATER
      From R 361.72 per month!
      3x monthly payments of R 723.45 with
      4x fortnightly payments of R 542.59 with
      This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers. The symposium cover all aspects of logic-based program development, stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. The papers are grouped into the following topics: static analysis, program synthesis, constraints and unification, debugging and verification, and program transformation.
      Format: Paperback / softback CONTRIBUTORS: Maurizio Gabbrielli EAN: 9783030452599 COUNTRY: Switzerland PAGES: WEIGHT: 454 g HEIGHT: 235 cm
      PUBLISHED BY: Springer Nature Switzerland AG DATE PUBLISHED: 2020-04-22 CITY: GENRE: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Data Science / General, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Computer Simulation WIDTH: 155 cm SPINE:

      Book Themes:

      Computer hardware, Applied computing, Mathematical theory of computation, Computer modelling and simulation, Artificial intelligence

      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 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers. The symposium cover all aspects of logic-based program development, stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. The papers are grouped into the following topics: static analysis, program synthesis, constraints and unification, debugging and verification, and program transformation.
      Format: Paperback / softback CONTRIBUTORS: Maurizio Gabbrielli EAN: 9783030452599 COUNTRY: Switzerland PAGES: WEIGHT: 454 g HEIGHT: 235 cm
      PUBLISHED BY: Springer Nature Switzerland AG DATE PUBLISHED: 2020-04-22 CITY: GENRE: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Data Science / General, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Computer Simulation WIDTH: 155 cm SPINE:

      Book Themes:

      Computer hardware, Applied computing, Mathematical theory of computation, Computer modelling and simulation, Artificial intelligence

      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