Program construction
Auteur :
Stone, R. G. / Cooke, D. J.
Éditeur :
Cambridge University Press
ISBN :
9780521318839
Date de publication :
5 févr. 1987
Dimensions :
22,8 x 15,2 x 2,1 cm
Poids :
518 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.