(美)伯 格(Berg,H.K.)等著;宋国新等译1988 年出版250 页ISBN:7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
刘军编2006 年出版134 页ISBN:7810738461
本书质量管理的基本概念,质量管理小组活动的内容,成果及总结,质量管理统计方法等。
孙新民,张秋玲,丁洪生编著2009 年出版192 页ISBN:9787302200796
本书介绍了工程设计中已获得广泛应用且较为成熟的四种常用现代设计方法。它们是优化设计、可靠性设计、有限元方法和动态设计。