分类导航 / Navigation
|
 工业关键系统的形式化方法：应用综述_Stefania Gnesi， Tiziana Margaria_机械工业出版社,2015.01.11
价 格：¥ 25.80
商品详情
注意：链接有问题的书请登录邮箱查收！！！
即时起网站不再提供充点下载服务，点数没有使用完的顾客需要什么书请直接联系客服！！ 此书为PDF电子版，不是纸书，付款后自动发货，弹出百度云盘下载地址和密码，自己下载即可！阅读后如感兴趣，可以去书店购买相应的纸质书籍，下载24小时内请删除！本站展示只是部分图书，如需别的电子书请联系客服！ 购买时请填写真实邮箱。邮箱请填写正确并请填写常用邮箱！ 电子书购买后不予退款。 切记，付款完成后不要关闭网页，等自动返回。如遇链接失效或密码错误，请于24小时内登录购买时留下的邮箱查收文件。 成功付款，但没有弹出下载地址请联系客服处理。不主动联系客服产生的损失请自负。 即日起网站开通VIP会员，VIP会员直接购买打八折，VIP会员购书流程： 1.注册本站会员 2.登录网站，进入会员中心，点击左边导航“在线充值”，选中“购买VIP会员”，再点充值并付款，完成VIP会员购买。 (链接地址为：http://www.fou001.com/e/member/buygroup/) 3.确认选购的电子书，点立即购买，填写收货人信息，填入优惠码：ODAE4VYFG5UJJDXQWDHH 4.下一步，付款，完成购买
书名：工业关键系统的形式化方法：应用综述
作者：Stefania Gnesi， Tiziana Margaria ISBN：978-7-111-48521-6 出版社：机械工业出版社 出版日期：2015.01.11 形式化方法以数学为基础，其目标是建立精确的、无二义性的语义，对系统开发的各个阶段进行有效地描述，使系统的结构具有先天的合理性、正确性和良好的维护性，能较好地满足用户需求。本书记录和展示了作者关于形式化方法如何在工业关键系统中进行应用的研究成果。 本书分为6部分。第1部分是概述；第2部分致力于介绍建模范例；第3部分介绍了包括形式化方法和相关工具的使用以及应用程序在实际系统领域的发展；第4部分则向读者展示了形式化方法在通信系统中的发展和成果；第5部分则介绍了形式化方法在互联网和在线服务方面的应用；而在第6部分则介绍了实时应用程序的形式化方法。 本书可用作高等院校计算机科学、自动化相关专业本科生、研究生以及教师的参考用书，也可作为业内专业人士的参考书。 免责申明：
本站仅提供学习的平台，所有资料均来自于网络，版权归原创者所有！本站不提供任何保证，并不承担任何法律责任，如果对您的版权或者利益造成损害，请联系我们，我们将尽快予以处理。
|
