国际信息工程先进技术译丛工业关键系统的形式化方法应用综述

test · 发表于 2020-8-28 15:59:15

【作　者】（意）格涅斯，（意）玛格丽特著
【丛书名】国际信息工程先进技术译丛
【形态项】 228
【出版项】北京：机械工业出版社 , 2015.01
【原书定价】69.00

内容提要:
形式化方法以数学为基础，其目标是建立精确的、无二义性的语义，对系统开发的各个阶段进行有效的描述，使系统的结构具有先天的合理性、正确性和良好的维护性，能较好地满足用户需求。本书记录和展示了作者关于形式化方法如何在工业关键系统中进行应用的研究成果。本书分为6部分。第1部分是概述；第2部分致力于介绍建模范例；第3部分介绍了包括形式化方法和相关工具的使用以及应用程序在实际系统领域的发展；第4部分则向读者展示了形式化方法在通信系统中的发展和成果；第5部分则介绍了形式化方法在互联网和在线服务方面的应用；而在第6部分则介绍了实时应用程序的形式化方法。

lingfeng1982 · 发表于 2020-8-28 18:50:43

谢谢楼主分享

露露 · 发表于 2020-8-28 21:49:49

谢谢楼主分享

可口可乐 · 发表于 2020-8-28 21:59:32

谢谢楼主分享

酷睿 · 发表于 2020-8-28 22:13:29

谢谢楼主分享

CHANGXINHAI1 · 发表于 2020-8-30 20:22:17

谢谢楼主分享

zhaodajun · 发表于 2020-9-1 08:55:28

谢谢楼主分享

dgg46 · 发表于 2020-9-1 12:01:29

谢谢楼主分享

dgg46 · 发表于 2020-9-1 12:01:33

谢谢楼主分享

appig2012 · 发表于 2020-10-9 14:48:29

谢谢楼主分享

		自动登录	找回密码
密码			注册

[书籍] 国际信息工程先进技术译丛工业关键系统的形式化方法应用综述

本帖子中包含更多资源

相关帖子

[书籍] 国际信息工程先进技术译丛 工业关键系统的形式化方法 应用综述

本帖子中包含更多资源

相关帖子

[书籍] 国际信息工程先进技术译丛工业关键系统的形式化方法应用综述