机译:问题框架:分析和构建软件开发问题。迈克尔·杰克逊(Michael Jackson)。由美国马萨诸塞州波士顿的Addison-Wesley出版,ACM出版社,2001年。ISBN:0-201-59627-X,390页。价格:英国32.95英镑,美国49.99美元,软皮。
School of Computing Engineering and Technology University of Sunderland St. Peter's Campus Sunderland SR6 0DD U.K.;
机译:测试它:现成的软件测试过程。约翰·沃特金斯(John Watkins)。英国剑桥大学出版社,2001年出版。ISBN0-521-79546-X,315页。价格:英国29.95美元,美国43.00美元,软皮。
机译:软件工程实验:简介。克拉斯·沃林(Claes Wohlin),佩尔·鲁尼森(Per Runeson),马丁·霍斯特(MartinHöst),马格努斯·C·奥尔森(Magnus C.由美国马萨诸塞州诺威尔市的Kluwer Academic Publishers出版,1999年。ISBN:0-7923-8682-5,204页。价格:英国?83.00,美国120.00美元,精装书。
机译:软件验证和确认:《从业人员指南》。史蒂文·R·拉基汀。由Artech House,美国马萨诸塞州诺伍德市,1997年出版。ISBN:0-89006-889-5,274页。价格:英国47.00英镑,美国59.00美元,精装书。
机译:z和object-z的改进:基础和高级应用程序。由John Derrick和Eerke Baiten。由Springer-Verlag,柏林,德国,计算和信息技术系列的正式方法出版,2001年。ISBN:1-85233-245-X,466页。价格:U.K.?49.50,U.S.A. $ 79.95,德国DM 159.90,软封面。