工业关键系统的形式化方法：应用综述 靳添絮等译

月光梦

工业关键系统的形式化方法：应用综述 靳添絮等译

出版社：机械工业出版社
出版时间：2015-01-01

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


链接: https://pan.baidu.com/s/10WRBUiBUZI17ZY8JBU9Oew 提取码: 7w2f