#热门
工业关键系统的形式化方法:应用综述(格涅斯 机械工业出版社 2015)

2021-09-10 32
VIP免费
京东购买
下载不了?请联系网站客服提交链接错误!
增值服务:

#热门
工业关键系统的形式化方法:应用综述(格涅斯 机械工业出版社 2015)

2021-09-10 0 32

分为6部分。第1部分是概述;第2部分致力于介绍建模范例;第3部分介绍了包括形式化方法和相关工具的使用以及应用程序在实际系统领域的发展;第4部分则向读者展示了形式化方法在通信系统中的发展和成果;第5部分则介绍了形式化方法在互联网和在线服务方面的应用;而在第6部分则介绍了实时应用程序的形式化方法。工业关键系统的形式化方法:应用综述可用作高等院校计算机科学、自动化相关专业本科生、研究生以及教师的参考用书,也可作为业内专业人士的参考书。

工业关键系统的形式化方法:应用综述(格涅斯  机械工业出版社  2015)

资源下载此资源下载价格为2云币,请先
客服QQ:2485876517
打赏

您的支持就是我们不懈努力的动力

打开微信/支付宝/QQ扫一扫,即可打赏我们。
点赞 (0)

免责声明:
1.本站仅提供学习交流平台,资料图纸视频均为会员上传,如有侵权请客服联系删除。
2.本站分享链接失效或商品有误的,可联系客服反馈,确认属实赠送10云币供在本站兑换资料。
4.本站推广链接来自于京东、当当、拼多多等官网。购买及售后由第三方平台承担,下单前仔细甄别。
5.关注微信公众号【逸度云分享】获取本站最新活动,客服唯一QQ:2485876517。

逸度机电云 工业机器 工业关键系统的形式化方法:应用综述(格涅斯 机械工业出版社 2015) https://ydjdy.cn/643.html

相关文章

评论
暂无评论
官方客服团队

为您解决问题 | 7×24小时在线专业服务

工业关键系统的形式化方法:应用综述(格涅斯  机械工业出版社  2015)-海报

分享本文封面