Böcker av D. J. Cooke

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.

Computer Mathematics will be of interest to undergraduate students of computer science and mathematics, post-graduate computing 'conversion' course students and computer professionals who need an introduction to the mathematics that underpins computer science theory.