实用程序设计理论

实用程序设计理论
9787030274250
(加)Eric C. R. Hehner著；万剑怡，郑宇华译

TP311.1
科学出版社
2010-06
2010
2010
本书系统地介绍了一种程序设计理论，包括基本理论、基本数据结构、函数理论、程序理论、程序设计语言、递归定义、理论设计与实现、并发和交互等内容。