乔纳森·鲍文(Jonathan P.Bowen)。 书评:G.O'Regan,形式方法简明指南:理论、基础和工业应用。 (英语) Zbl 1451.00026号 正式Asp。计算。 32,第1期,147-148(2020年). 审查[兹比尔1375.68002]. MSC公司: 00A17年 外部书评 68-01年 与计算机科学相关的介绍性说明(教科书、教程论文等) 03B70号 计算机科学中的逻辑 68号30 软件工程的数学方面(规范、验证、度量、需求等) 65年第68季度 形式语言和自动机 60年第68季度 规范和验证(程序逻辑、模型检查等) 68伏15 定理证明(自动和交互式定理证明、演绎、解析等) 引文:Zbl 1375.68002号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Bowen},正式Asp。计算。32,第1号,147--148(2020;Zbl 1451.00026) 全文: 内政部 参考文献: [1] Bowen,JP,Egon Börger和Alexander Raschke:软件从业者的建模伙伴,Form Aspect Compute,30,6,761-762(2018)·doi:10.1007/s00165-018-0472-4 [2] 哈布里亚斯,H。;Frappier,M.,《软件规范方法》(2006),Eugene:ISTE,Eugene 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。