机译:更安全的C:为高完整性和安全性至关重要的系统开发软件。莱斯·哈顿。欧洲McGraw-Hill图书公司出版,英国Maidenhead,1995年。ISBN0 07 707640 0,229页。价钱:22.95英镑,软皮
Nuclear Electric plc Barnett Way Barnwood Gloucester GLA 7RS U.K.;
机译:书评:管理软件质量。布莱恩·兰布林。欧洲McGraw-Hill图书公司出版,英国Maidenhead,1996年。ISBN0 07 709039 X,193页。价格29.99美元,精装书。
机译:软件测试。马克·罗珀。欧洲McGraw-Hill图书公司出版,英国Maidenhead,1994年。ISBN:0-07-707466-1,149页。价格:24.95英镑,精装书
机译:软件工程指标。卷1:度量和验证。马丁·谢泼德(Martin Shepperd),欧洲麦格劳-希尔图书公司出版,英国梅登黑德,1993年。ISBN 0-07-707410-6,302页。价钱:35.00英镑,精装
机译:并发和实时系统:CSP方法。由Steve Schneider。由John Wiley和Sons Ltd.出版,奇斯特,U.K.,2000。ISBN:0-471-62373-3,510页。价格:U.K.£29.95,U.S.A. $ 59.99,软封面。