机译:软件评估:可靠性,安全性,可测试性。 Michael A. Friedman和Jeffrey M. Voas。由约翰·威利父子有限公司(John Wiley&Sons Ltd.),英国奇切斯特,1995年出版。ISBN0–471–01009–X,282页。价格:45.00英镑,64.95美元,精装书。
Senior Researcher Istituto di Elaborazione della Informazione del CNR via S. Maia 46I-56126 Pisa Italy.;
机译:安全相关系统中的软件。 Brian A. Wichmann(编辑),英国奇切斯特的John Wiley&Sons和英国伦敦的英国计算机协会出版,1992年。ISBN 0-471-93474-7,304页。价钱:£165.00,硬皮
机译:软件故障注入:使程序避免错误。 Jeffrey Voas和Gary McGraw着。由John Wiley&Sons Ltd,纽约,1998年出版。ISBN:0-471-18381-4,353页。价格:39.95英镑,49.99美元,包括一张CD-ROM,精装书套
机译:面向对象的软件测试:分层方法。谢尔·西格尔。由约翰·威利父子公司(John Wiley and Sons Inc.),美国纽约,1996年出版。ISBN:0-471-13749-9,511页。价格:34.95英镑,美国42.95美元,软封面。
机译:并发和实时系统: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,软封面。