Program Construction: International Summer School

Front Cover
Springer, 1979 - Computers - 651 pages

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

E W Dijkstra A More Formal Treatment of a Less Simple Example 2
21
Programming
35
Gries The SchorrWaite Graph Marking Algorithm
58
Copyright

14 other sections not shown

Other editions - View all

Common terms and phrases

References to this book

Bibliographic information