本书由一系列独立的部分组成，涵盖的主题从个人责任、职业发展，直到用于使代码保持灵活、并且易于改编和复...
2004.03
本书是先进的计算机软件理论和实践方面的权威性指导书，重点介绍新的和正在出现的构造先进应用程序的技术，...
2007.
形式化方法Z是一种基于一阶谓词逻辑和集合论的规格说明语言。其基本思想是利用一些已知特性的数学抽象来为...
2015.6
本书主要介绍了程序设计方法学这一学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明...
2008.12
本书以Scheme语言为基础介绍计算和程序设计的一般理论和实践。
2003.10