The Science Of Programming - David Gries

This is the very first book to discuss 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 It is built around the method first proposed by Dijkstra in his monograph The Discipline of Programming 1976 involving a "calculus for the derivation of programs " Directing his materials to the computer programmer with at least one year of experience Gries presents explicit principles behind ">This is the very first book to discuss 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 It is built around the method first proposed by Dijkstra in his monograph The Discipline of Programming 1976 [更多]