•  注冊名:

    密碼:

    個人注冊

    企業注冊

    商務申請

    商務管理平臺

    企業管理平臺

    個人管理平臺

    我的工控博客

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

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

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

    中國    洛陽

    偷拍久久国产视频|久草在线资源站手机版|影音先锋资源站玖玖网