<listing id="rjs7x"></listing>
  1. <meter id="rjs7x"></meter>

    1. <code id="rjs7x"><object id="rjs7x"></object></code><tt id="rjs7x"><button id="rjs7x"></button></tt>
      <nav id="rjs7x"></nav>

       注册名:

      密码:

      个人注册

      企业注册

      商务申请

      商务管理平台

      企业管理平台

      个人管理平台

      ?#19994;?#24037;控博客

      中国工控网www.5290351.com

      首页 | 新闻中心 | 工控论坛 | 经验视点 | 工控商务 | 电气手册 | 工控博客 | 招聘求职 | 网?#31995;?#26597; | 企业中心 | 供求信息 | 资料中心 | 工控书店

      所在位置:工控书籍 -- 机械工业出版社 -- 《工业关键系统的形式化方法:应用综述》简介

      中国工控网搜索:

       工控书店单位管理

      单位名称:

      单位密码:

      申请?#29992;?#24037;控书店

       自动化产品信息

      更多..

      《工业关键系统的形式化方法:应用综述》 <推荐> 定价?#28023;?9.00元

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

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

          出版单位:机械工业出版社

          作    者?#28023;?#24847;)Stefania Gnesi 等著 靳添絮 等译

          书    号:978-7-111-48521-6

          价    格?#28023;?9.00元

          出版日期:2015-1-12

        机械工业出版社——购书联系电话和付款方式

      定   价:

      ¥69.00元 

      联系部门:

      机械工业出版社 

      订购电话:

      010-88379766 

      联系地址:

      ?#26412;?#30334;万庄大街22号机械工业出版社电工电子分社 

      订购传真:

      010-68326336 

      邮政编码:

      100037 

      电子邮箱:

      [email protected] 

      联 系 人:

      李老师

      网   址:

      http://www.cmpbook.com

      付款方式:

          按照以上联系地址付款,款到邮寄。

      以下是对《工业关键系统的形式化方法:应用综述》一书的评论(共0条)

          发表评论

      登陆网站发表评论

      用户名:

      密码:

      注册 | 忘了密码

      关于我们     免责声明     服务项目     广告联系     友情链接     联系方式     意见反馈     设为首页     加入收藏

       ©2019-2020 中国工控网(www.5290351.com) 版权所有 豫ICP备17046657号

      管理员信箱:[email protected]  服务热线:13525974529

      洛阳博德工控自动化技术有限公司

      中国    洛阳

      澳洲幸运10开奖网

        <listing id="rjs7x"></listing>
      1. <meter id="rjs7x"></meter>

        1. <code id="rjs7x"><object id="rjs7x"></object></code><tt id="rjs7x"><button id="rjs7x"></button></tt>
          <nav id="rjs7x"></nav>

            <listing id="rjs7x"></listing>
          1. <meter id="rjs7x"></meter>

            1. <code id="rjs7x"><object id="rjs7x"></object></code><tt id="rjs7x"><button id="rjs7x"></button></tt>
              <nav id="rjs7x"></nav>
              陕西快乐十分ios版下载 彩票黑龙江22选5开奖查询 内马尔法甲比赛视频 期生肖特码资料 吉林新快3走势图 3d出号规律 平码四中四复式计算器 上海基诺彩票中奖金额 贵州11选5任7技巧 网易网球比分直播 广西快乐十分官网app 杀垃圾直选软件 今天上海快三开奖号势图 福建十一选五最常开的那一注号码 北京十一选五中奖结果查询