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
    Mathematics of Program Construction

Mathematics of Program Construction

Graham Hutton
    Product form
      FORMAT: Paperback / softback

      R 1,584.57 Price and availability exclusive to website

      YOU COULD EARN 1,584.57 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 10 - 15 Business Days
      BUY NOW PAY LATER
      From R 264.09 per month!
      3x monthly payments of R 528.19 with
      4x fortnightly payments of R 396.14 with
      This book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers presented together with an invited paper were carefully reviewed and selected from 22 submissions. The papers deal with mathematical principles and techniques for constructing computer programs. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.
      Format: Paperback / softback CONTRIBUTORS: Graham Hutton EAN: 9783030336356 COUNTRY: Switzerland PAGES: WEIGHT: 724 g HEIGHT: 235 cm
      PUBLISHED BY: Springer Nature Switzerland AG DATE PUBLISHED: 2019-10-20 CITY: GENRE: COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Speech & Audio Processing, COMPUTERS / Hardware / Cell Phones & Devices, MATHEMATICS / Logic WIDTH: 155 cm SPINE:

      Book Themes:

      Software Engineering, Mathematical theory of computation, Systems analysis and design, 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 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers presented together with an invited paper were carefully reviewed and selected from 22 submissions. The papers deal with mathematical principles and techniques for constructing computer programs. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.
      Format: Paperback / softback CONTRIBUTORS: Graham Hutton EAN: 9783030336356 COUNTRY: Switzerland PAGES: WEIGHT: 724 g HEIGHT: 235 cm
      PUBLISHED BY: Springer Nature Switzerland AG DATE PUBLISHED: 2019-10-20 CITY: GENRE: COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Speech & Audio Processing, COMPUTERS / Hardware / Cell Phones & Devices, MATHEMATICS / Logic WIDTH: 155 cm SPINE:

      Book Themes:

      Software Engineering, Mathematical theory of computation, Systems analysis and design, 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