注册名:

密码:

个人注册

企业注册

商务申请

商务管理平台

企业管理平台

个人管理平台

我的工控博客

中国工控网www.chinakong.com

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

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

中国工控网搜索:

 工控书店单位管理

单位名称:

单位密码:

申请加盟工控书店

 自动化产品信息

更多..

《工业关键系统的形式化方法:应用综述》 <推荐> 定价:¥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 

电子邮箱:

dgdzcmp@sina.com 

联 系 人:

李老师

网   址:

http://www.cmpbook.com

付款方式:

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

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

    发表评论

登陆网站发表评论

用户名:

密码:

注册 | 忘了密码

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

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

管理员信箱:chinakong98@163.com  服务热线:13525974529

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

中国    洛阳