Science of programming, the
Auteur :
Gries, David
Éditeur :
Gries, David
ISBN :
9780387964805
Date de publication :
1 avr. 1989
Dimensions :
23,5 x 15,5 x 2,0 cm
Poids :
1200 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
USA
Discusses the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program should be developed hand in hand. This book presents principles behind program development, and leads the reader through example programs using those principles.