下載酷澎APP
最近瀏覽商品
(英文圖書) Formal Methods for Industrial Critical Systems: 24th International Conference Fmics 2019 Am... 平裝版, Springer, 英文
16%
$1,751
$1,663
酷澎售價
$1,463
折扣後價格
6折
已套用優惠券
免運
免費退貨賣家：Coupang Global LLC
刷卡優惠
商品特色
- 探索形式化方法在工業關鍵系統中的應用，提升您對系統驗證與確認的理解。
- 透過國際會議論文集，深入了解最新的形式化方法研究進展與實際案例分析。
- 本書為您提供寶貴的知識，助您掌握在工業環境中應用形式化方法的策略與技巧。
商品概述
本書為LNCS系列中的第11687卷，收錄了第24屆工業關鍵系統形式化方法國際會議（FMICS 2019）的論文集。會議於2019年8月在荷蘭阿姆斯特丹舉行，匯集了來自世界各地的專家學者，共同探討形式化方法在工業領域的應用。本書內容涵蓋了形式化方法的最新研究進展、實際應用案例以及未來發展趨勢。無論您是研究人員、工程師還是學生，本書都將為您提供寶貴的知識和啟發，助您掌握在工業環境中應用形式化方法的策略與技巧。透過本書，您可以深入了解形式化方法在提升系統可靠性、安全性和效率方面的作用，並將其應用於實際工程項目中。
查看更多
商品標示資訊
查看所有標示資訊查看更多
商品評價
酷澎上販售之同一商品的商品評價，商品賣家可能有所不同。
酷澎上販售之同一商品的商品評價，商品賣家可能有所不同。
沒有商品評價。
商品諮詢
- 購買的商品 取消/退貨請在我的酷澎購買記錄中申請。
- 商品咨詢及評價板塊不處理取消或退貨事宜，請聯絡客服中心。
- 價格、賣家、換貨/退貨及配送等與商品本身無關的咨詢請使用客服中心的1:1咨詢。
- 「商品本身」無關的內容、轉讓、廣告、辱罵、洗版等內容可能會被移動、隱藏或刪除。
- 請不要在公開的咨詢板塊中留下您的電話號碼、郵箱地址等個人資訊。
目前尚無咨詢。
如您發現商品有不實廣告、侵害智慧財產權或其他不適合銷售之情形，請提出檢舉