<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>