下載酷澎APP
最近瀏覽商品
(英文圖書) Decidability of Parameterized Verification 平裝版
17%
$1,659
$1,576
酷澎售價
$1,376
首購折扣價
最高6折
已套用首購優惠券
免運
免費退貨賣家：Coupang Global LLC
銀行回饋
台新銀行8%刷卡金
中國信託銀行5%刷卡金
玉山銀行5%刷卡金
國泰世華銀行3.3%刷卡金
永豐銀行10%刷卡金
滙豐銀行10%刷卡金
星展銀行7.1%刷卡金
合作金庫銀行6.2%刷卡金
商品特色
- 探索參數化驗證的可判定性，輕鬆掌握分散式計算理論的精髓。
- 本書深入淺出地講解驗證技術，讓您在電腦科學領域更上一層樓。
- 透過Springer的專業知識，讓您在學習過程中獲得最佳體驗。
商品概述
本書《Decidability of Parameterized Verification》深入探討了參數化驗證的可判定性問題，為讀者提供了分散式計算理論的全面理解。Springer出版社以其卓越的學術聲譽，確保了內容的專業性和權威性。本書採用平裝本形式，方便攜帶和閱讀，適合電腦科學領域的學生和研究人員。透過本書，讀者可以輕鬆掌握驗證技術的核心概念，並將其應用於實際問題中。無論您是初學者還是專家，本書都將為您帶來豐富的知識和啟發。
查看更多
商品標示資訊
查看所有標示資訊查看更多
商品評價
酷澎上販售之同一商品的商品評價，商品賣家可能有所不同。
酷澎上販售之同一商品的商品評價，商品賣家可能有所不同。
沒有商品評價。
商品諮詢
- 購買的商品 取消/退貨請在我的酷澎購買記錄中申請。
- 商品咨詢及評價板塊不處理取消或退貨事宜，請聯絡客服中心。
- 價格、賣家、換貨/退貨及配送等與商品本身無關的咨詢請使用客服中心的1:1咨詢。
- 「商品本身」無關的內容、轉讓、廣告、辱罵、洗版等內容可能會被移動、隱藏或刪除。
- 請不要在公開的咨詢板塊中留下您的電話號碼、郵箱地址等個人資訊。
目前尚無咨詢。
如您發現商品有不實廣告、侵害智慧財產權或其他不適合銷售之情形，請提出檢舉