机译:软件验证和确认:《从业人员指南》。史蒂文·R·拉基汀。由Artech House,美国马萨诸塞州诺伍德市,1997年出版。ISBN:0-89006-889-5,274页。价格:英国47.00英镑,美国59.00美元,精装书。
Department for Computation and Information Council for the Central Laboratory of the Research Councils The Rutherford Appleton Laboratory Didcot Oxfordshire OX11 0QX U.K.;
机译:软件工程实验:简介。克拉斯·沃林(Claes Wohlin),佩尔·鲁尼森(Per Runeson),马丁·霍斯特(MartinHöst),马格努斯·C·奥尔森(Magnus C.由美国马萨诸塞州诺威尔市的Kluwer Academic Publishers出版,1999年。ISBN:0-7923-8682-5,204页。价格:英国?83.00,美国120.00美元,精装书。
机译:面向对象的开发过程和指标。 Dennis de Champeaux和Penelope K. Faure。 Prentice Hall,美国,Englewood Cliffs,新泽西州,1997年出版。ISBN:0-13-099755-2,470页。价格:23.50英镑,美国54.00美元,精装书。
机译:问题框架:分析和构建软件开发问题。迈克尔·杰克逊(Michael Jackson)。由美国马萨诸塞州波士顿的Addison-Wesley出版,ACM出版社,2001年。ISBN:0-201-59627-X,390页。价格:英国32.95英镑,美国49.99美元,软皮。
机译:并发和实时系统: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,软封面。