形式化方法在构件组装实时系统中的应用研究2019.5席琳, 马传连, 著 工业关键系统的形式化方法2014.12(意) 格涅斯 (Gnesi,S.) , (意) 玛格丽特 (Margaria,T.) , 著 形式化方法导论2015.张广泉, 编著 软件开发的形式化方法2005.01古天龙, 编著 形式化构件装配的图算法生成2018.12石海鹤, 鄢梦恬, 著 单纯复形在复杂系统中的应用研究2016.11(塞尔) 所罗波顿·马莱蒂奇 (Slobodan Maletic) , 赵毅, 著 企业信息系统的形式化及其应用2012.1薛朝改, 著 软件开发的形式化工程方法：结构化+面向对象+形式化2008.(日) 刘少英, 著 行政强制在工商执法中的应用研究2012.4《行政强制在工商执法中的应用研究》编写组, 编 最优化方法在通信系统中的应用2020.8尹斯星, 著 语言形式化原理2015.10王迈, 著 几何代数的形式化与初步应用2019.11关永, 李黎明, 施智平, 著 智能算法及其在资源环境系统建模中的应用2005.07《智能算法及其在资源环境系统建模中的应用》编写组, 编 PLC在电气自动化中的应用研究2018.8焦贺彬, 张翠云, 田小涛, 著 Excel在会计中的应用研究2018.11赵瑞梅, 赵红瑞, 著