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

Adapting Proofs-as-Programs

Iman Poernomo
    Product form
      FORMAT: Paperback / softback

      R 5,457.75 Price and availability exclusive to website

      YOU COULD EARN 5,457.75 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 10 - 15 Business Days
      BUY NOW PAY LATER
      From R 909.62 per month!
      3x monthly payments of R 1,819.25 with
      4x fortnightly payments of R 1,364.43 with
      This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books central themes is a general, abstract framework for developing new systems of programs synthesis by adapting proofs-as-programs to new contexts.
      Format: Paperback / softback CONTRIBUTORS: Iman Poernomo EAN: 9781441920140 COUNTRY: United States PAGES: WEIGHT: 658 g HEIGHT: 235 cm
      PUBLISHED BY: Springer-Verlag New York Inc. DATE PUBLISHED: 2010-11-19 CITY: GENRE: COMPUTERS / Logic Design, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Logic WIDTH: 155 cm SPINE:

      Book Themes:

      Mathematical foundations, Mathematical logic, Computer programming / software engineering, Software Engineering, Mathematical theory of computation, Computer architecture and logic design

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books central themes is a general, abstract framework for developing new systems of programs synthesis by adapting proofs-as-programs to new contexts.
      Format: Paperback / softback CONTRIBUTORS: Iman Poernomo EAN: 9781441920140 COUNTRY: United States PAGES: WEIGHT: 658 g HEIGHT: 235 cm
      PUBLISHED BY: Springer-Verlag New York Inc. DATE PUBLISHED: 2010-11-19 CITY: GENRE: COMPUTERS / Logic Design, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Logic WIDTH: 155 cm SPINE:

      Book Themes:

      Mathematical foundations, Mathematical logic, Computer programming / software engineering, Software Engineering, Mathematical theory of computation, Computer architecture and logic design

      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