• 机场高速收费之争 春城壹网 七彩云南 一网天下 2019-10-11
  • 湖北3年内完成所有饮水保护区码头整治 100%复绿 2019-10-10
  • 月薪3000男会计豪掷930万打赏 女主播该退钱吗? 2019-10-10
  • 合唱凝聚力量 文化引领发展 2019-10-06
  • 不理解英语为什么要赖着高考。中国若与日、俄、韩、澳、印等国联合办高校,日、俄等国语种同等重要,而且,语种与专业是挂勾的 2019-10-06
  • 解读丨五年前开启的这场教育实践活动,它带来的改变你感受到了吗? 2019-10-05
  • 解放军报评论员:不负人民重托 担起历史使命 2019-09-25
  • 中国铁路昆明局总经理王耕捷代表:运价下浮助推产业转型升级 2019-09-22
  • 粤港澳大湾区如何打通金融脉络? 2019-09-19
  • 痛心!枪杀中国女留学生的她被判25年监禁,留给家属的只有无奈和遗憾 2019-09-19
  • “造床家”亮相北京国际家居展 以床的名义刮起一场睡眠盛宴 2019-09-14
  • 第529期:辅助降压、缓解便秘……薯类食物好处多多,怎样吃更健康? 2019-09-14
  • 设计众议院:新时代消费观念造就的全新第八代凯美瑞 2019-09-14
  • 《幸福马上来》6月8日上映 冯巩:重返大银幕 上阵"动作戏" 2019-09-14
  • 张占斌 周跃辉:“九新”——新常态下的全面深化改革 2019-09-13
  •  注册名:

    密码:

    个人注册

    企业注册

    商务申请

    商务管理平台

    企业管理平台

    个人管理平台

    我的工控博客

    中国工控网江西麻将游戏 www.gzpif.tw

    江西麻将游戏 | 新闻中心 | 工控论坛 | 经验视点 | 工控商务 | 电气手册 | 工控博客 | 招聘求职 | 网上调查 | 企业中心 | 供求信息 | 资料中心 | 工控书店

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

    中国工控网搜索:

     工控书店单位管理

    单位名称:

    单位密码:

    申请加盟工控书店

     自动化产品信息

    更多..

    《工业关键系统的形式化方法:应用综述》 <推荐> 定价:¥69.00元

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

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

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

        作    者:(意)Stefania Gnesi 等著 靳添絮 等译

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

        价    格:¥69.00元

        出版日期:2015-1-12

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

    定   价:

    ¥69.00元 

    联系部门:

    机械工业出版社 

    订购电话:

    010-88379766 

    联系地址:

    北京百万庄大街22号机械工业出版社电工电子分社 

    订购传真:

    010-68326336 

    邮政编码:

    100037 

    电子邮箱:

    [email protected] 

    联 系 人:

    李老师

    网   址:

    //www.cmpbook.com

    付款方式:

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

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

        发表评论

    登陆网站发表评论

    用户名:

    密码:

    注册 | 忘了密码

    关于我们     免责声明     服务项目     广告联系     友情链接     联系方式     意见反馈     设为首页     江西麻将游戏

     ©2019-2020 中国工控网(江西麻将游戏 www.gzpif.tw) 版权所有 豫ICP备17046657号

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

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

    中国    洛阳

  • 机场高速收费之争 春城壹网 七彩云南 一网天下 2019-10-11
  • 湖北3年内完成所有饮水保护区码头整治 100%复绿 2019-10-10
  • 月薪3000男会计豪掷930万打赏 女主播该退钱吗? 2019-10-10
  • 合唱凝聚力量 文化引领发展 2019-10-06
  • 不理解英语为什么要赖着高考。中国若与日、俄、韩、澳、印等国联合办高校,日、俄等国语种同等重要,而且,语种与专业是挂勾的 2019-10-06
  • 解读丨五年前开启的这场教育实践活动,它带来的改变你感受到了吗? 2019-10-05
  • 解放军报评论员:不负人民重托 担起历史使命 2019-09-25
  • 中国铁路昆明局总经理王耕捷代表:运价下浮助推产业转型升级 2019-09-22
  • 粤港澳大湾区如何打通金融脉络? 2019-09-19
  • 痛心!枪杀中国女留学生的她被判25年监禁,留给家属的只有无奈和遗憾 2019-09-19
  • “造床家”亮相北京国际家居展 以床的名义刮起一场睡眠盛宴 2019-09-14
  • 第529期:辅助降压、缓解便秘……薯类食物好处多多,怎样吃更健康? 2019-09-14
  • 设计众议院:新时代消费观念造就的全新第八代凯美瑞 2019-09-14
  • 《幸福马上来》6月8日上映 冯巩:重返大银幕 上阵"动作戏" 2019-09-14
  • 张占斌 周跃辉:“九新”——新常态下的全面深化改革 2019-09-13
  • 时时彩官方开奖视频下载 乐翻二人麻将 欢乐三公手机游戏下载 1期8码倍投方案 幸运飞艇6码技巧 赌博大小单双技巧 二十一点必胜法原理 时时彩后三包胆计划 时时彩6码 阶梯投注 安徽时时计划软件手机版下载手机版