Validation of Stochastic Systems A Guide to Current Research
2004 年出版467 页ISBN:
软件开发 建立可靠的系统 building reliable systems
(美) 马克·汉密尔顿著;Marc Hamilton 徐卫东译2003 年出版266 页ISBN:7801900022
本书概括介绍软件开发概念的背景;介绍与软件开发相关的人员要求问题;介绍软件开发程序;介绍软件开发技术及软件开发十戒律等。
Data Base Management Systems A Guide to Microcomputer Software
1983 年出版260 页ISBN:0931988845