We a good story
Quick delivery in the UK

Program Construction

About Program Construction

This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. The formal verification of intermediate versions of the program is studied in considerable detail.

Show more
  • Language:
  • English
  • ISBN:
  • 9780521318839
  • Binding:
  • Paperback
  • Pages:
  • 384
  • Published:
  • February 4, 1987
  • Dimensions:
  • 152x228x21 mm.
  • Weight:
  • 518 g.
Delivery: 1-2 weeks
Expected delivery: January 2, 2025
Extended return policy to January 30, 2025
  •  

    Cannot be delivered before Christmas.
    Buy now and print a gift certificate

Description of Program Construction

This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. The formal verification of intermediate versions of the program is studied in considerable detail.

User ratings of Program Construction



Find similar books
The book Program Construction can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.