A Method of Programming -

Edsger W. Dijkstra, W.H.J. Feijen

Addison-Wesley

1988

188 páginas

6h 16m

ISBN-10: 0201175363

A text concerned with a formal approach to the design method in which the correctness of programs is inherent in the design process. The formal approach is based on mathematics in which logic is the indespensible tool. The book offers:
- formal approach to program design
- program development illustrated with
numerous examples
- tutorial - working from first principles