1. <track id="rwwak"><i id="rwwak"></i></track>
    1.  注冊名:

      密碼:

      個人注冊

      企業注冊

      商務申請

      商務管理平臺

      企業管理平臺

      個人管理平臺

      我的工控博客

      中國工控網www.z9229.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.z9229.com) 版權所有 豫ICP備17046657號

      管理員信箱:chinakong98@163.com  服務熱線:13525974529

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

      中國    洛陽

      色久久电影