工业关键系统的形式化方法：应用综述-作者：格涅斯-PDF电子书

作者：格涅斯
出版社：机械工业出版社*
ISBN：9787111485216
上架时间：2015-1-19
开本：16开电子书
页码：228
版次：1-1

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

工业关键系统的形式化方法：应用综述

提取码：无

解压码：无

下载

工业关键系统的形式化方法：应用综述

提取码：无

解压码：无

下载

工业关键系统的形式化方法：应用综述

提取码：无

解压码：baomam.cn复制

下载

工业关键系统的形式化方法：应用综述

提取码：riws复制

解压码：baomam.cn复制

下载

7B4电子书网所提供的电子书、电子书文档等资源，来源于互联网收集.版权归原作者所有，电子书资源只做学习和交流使用，下载后请在24小时内删除文件。虽然您在本站可以找到这些电子书资源，但除了可以在网上浏览或下载之外，我们并未授权您将这些电子书资源用于其它任何商业用途。如果因为您将本站资源用于其他用途而引起的纠纷，本站不负任何责任。本站发布的内容若侵犯到您的权益，请联系站长删除，我们将及时处理！站长邮箱:181989211@qq.com