下載酷澎APP
最近瀏覽商品
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communi... 精裝版, Springer, 英文
10%
$3,885
$3,691
酷澎售價
$3,491
首購折扣價
最高3折
已套用首購優惠券
免運
免費退貨賣家：Coupang Global LLC
銀行回饋
台新銀行最高8%
玉山銀行最高6.8%
中國信託銀行最高5%
國泰世華銀行最高3.3%
永豐銀行最高10%
滙豐銀行最高10%
遠東商銀最高9.9%
合作金庫銀行最高9.2%
商品特色
- 本書深入探討離散系統中隱性和顯性語義的整合，提供清晰的理論框架。
- 透過基於證明的開發方法，本書為讀者提供實用的系統設計技巧與策略。
- 本書由知名學者編輯，內容涵蓋NII湘南會議的最新研究成果與交流心得。
商品概述
本書《離散系統中隱性和顯性語義的整合》深入探討了在基於證明的開發過程中，如何有效地整合隱性和顯性語義。本書由Yamine Ait-Ameur、Shin Nakajima和Dominique Méry編輯，匯集了NII湘南會議的最新研究成果。本書採用精裝形式，適合電腦科學領域的研究人員和學生閱讀。書中內容涵蓋了離散系統開發的各個方面，為讀者提供了一個全面的理論框架和實踐指導。透過本書，讀者可以學習到如何運用形式化方法來提高系統的可靠性和安全性。
查看更多
商品標示資訊
查看所有標示資訊查看更多
商品評價
酷澎上販售之同一商品的商品評價，商品賣家可能有所不同。
酷澎上販售之同一商品的商品評價，商品賣家可能有所不同。
沒有商品評價。
商品諮詢
- 購買的商品 取消/退貨請在我的酷澎購買記錄中申請。
- 商品咨詢及評價板塊不處理取消或退貨事宜，請聯絡客服中心。
- 價格、賣家、換貨/退貨及配送等與商品本身無關的咨詢請使用客服中心的1:1咨詢。
- 「商品本身」無關的內容、轉讓、廣告、辱罵、洗版等內容可能會被移動、隱藏或刪除。
- 請不要在公開的咨詢板塊中留下您的電話號碼、郵箱地址等個人資訊。
目前尚無咨詢。
如您發現商品有不實廣告、侵害智慧財產權或其他不適合銷售之情形，請提出檢舉