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

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

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

7b4电子书此处内容已经被作者隐藏,请输入验证码查看内容
验证码:
请关注本站微信公众号,回复“验证码”,获取验证码。在微信里搜索“7b4电子书”或者“zenglei7788”或者微信扫描右侧二维码都可以关注本站微信公众号。
7B4电子书网所提供的电子书、电子书文档等资源,来源于互联网收集.版权归原作者所有,电子书资源只做学习和交流使用,下载后请在24小时内删除文件。虽然您在本站可以找到这些电子书资源,但除了可以在网上浏览或下载之外,我们并未授权您将这些电子书资源用于其它任何商业用途。如果因为您将本站资源用于其他用途而引起的纠纷,本站不负任何责任。本站发布的内容若侵犯到您的权益,请联系站长删除,我们将及时处理! 站长邮箱:181989211@qq.com

给TA打赏
共{{data.count}}人
人已打赏
工业技术电子书

高频开关型逆变器及其并联并网技术-作者: 孙孝峰/顾和荣/王立乔/邬伟扬-PDF电子书

2020-11-20 13:52:13

工业技术电子书

工业预测控制-作者: 丁宝苍-PDF电子书

2020-11-22 9:43:42

3 条回复 A文章作者 M管理员
  1. moongreg

    感谢分享

  2. QN6402

    很好,谢谢

  3. Jackmou

    感谢分享

网站地图