注冊名:

密碼:

個人注冊

企業注冊

商務申請

商務管理平臺

企業管理平臺

個人管理平臺

我的工控博客

中國工控網www.和平精英和刺激战场 www.0380860.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 

電子郵箱:

[email protected] 

聯 系 人:

李老師

網   址:

//www.cmpbook.www.0380860.com

付款方式:

    按照以上聯系地址付款,款到郵寄。

以下是對《工業關鍵系統的形式化方法:應用綜述》一書的評論(共0條)

    發表評論

登陸網站發表評論

用戶名:

密碼:

注冊 | 忘了密碼

關于我們     免責聲明     服務項目     廣告聯系     友情鏈接     聯系方式     意見反饋     設為首頁     和平精英和刺激战场

 ©2019-2020 中國工控網(www.和平精英和刺激战场 www.0380860.com) 版權所有 豫ICP備17046657號

管理員信箱:[email protected]  服務熱線:13525974529

洛陽博德工控自動化技術有限公司

中國    洛陽

重庆时时五星免费计划 正版森林舞会游戏下载单机 1到21数字游戏 网站地址链接澳门 太原站街女大全 安卓麻将 028期三肖6码 北京pk10六码倍投 福彩欢乐生肖走势图 淘金娱乐苹果版 win007足球即时比分 网页游戏源码下载 吉林时时票开奖结果查询 pc预测软件手机版 黑丝袜美女 时时彩投注技巧