程序验证
首页
分类
标签
The Science of Programming
David Gries
Describes basic programming principles and their step-by- step applications.Numerous examples are included.