标签：程序验证

Describes basic programming principles and their step-by- step applications.Numerous examples are included.

标签：Programming程序设计程序验证算法编程计算机计算机科学