本书是结构程序设计的权威著作，全书分两部分，第一部分是基本理论，提出用最弱前置谓词定义语义，并给出相应的结构程序设计语言。作者认为，程序设计是面向目标的推导过程，从问题的形式规定出发，采用逐步求精方法，逐步展开程序，同时作出正确性论证，最后可以获得一个结构清晰和正确的程序。第二部分用大量实例阐明他的思想和使用的各种具体技术。在此书之后出版的一系列程序设计著作，都以这本书为理论基础
这是一本名著，作者Dijkstra是计算机科学发展历史上最重要的人物之一，在他这本唯一的著作中，将计算机算法理论和实际相结合，值得期待