×

书评:G.O'Regan,形式方法简明指南:理论、基础和工业应用。 (英语) Zbl 1451.00026号

MSC公司:

00A17年 外部书评
68-01年 与计算机科学相关的介绍性说明(教科书、教程论文等)
03B70号 计算机科学中的逻辑
68号30 软件工程的数学方面(规范、验证、度量、需求等)
65年第68季度 形式语言和自动机
60年第68季度 规范和验证(程序逻辑、模型检查等)
68伏15 定理证明(自动和交互式定理证明、演绎、解析等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。