下載酷澎APP
最近瀏覽商品
Formal Methods: 22nd International Symposium FM 2018 Held as Part of the Federated Logic Conferenc... 平裝版, Springer, 英文
11%
$3,070
$2,916
酷澎售價
$2,716
折扣後價格
6折
已套用優惠券
免運
免費退貨賣家：Coupang Global LLC
刷卡優惠
商品特色
- 本書深入探討形式化方法的最新進展，助您掌握程式驗證的核心技術。
- 透過實際案例分析，學習如何在軟體開發中應用形式化方法，提升程式碼品質。
- 探索形式化方法在系統建模與驗證中的應用，為您的研究與開發提供新思路。
商品概述
本書為第22屆形式化方法國際研討會（FM 2018）的會議論文集，深入探討程式語言的形式化驗證、系統建模與分析等主題。內容涵蓋最新的研究成果與實務應用，適合對形式化方法感興趣的研究人員、工程師與學生閱讀。透過本書，讀者可以了解形式化方法在軟體開發中的應用，提升程式碼的可靠性與安全性。本書由Klaus Havelund、Jan Peleska、Bill Roscoe與Erik de Vink編輯，為該領域的重要參考文獻。
查看更多
商品標示資訊
查看所有標示資訊查看更多
商品評價
酷澎上販售之同一商品的商品評價，商品賣家可能有所不同。
酷澎上販售之同一商品的商品評價，商品賣家可能有所不同。
沒有商品評價。
商品諮詢
- 購買的商品 取消/退貨請在我的酷澎購買記錄中申請。
- 商品咨詢及評價板塊不處理取消或退貨事宜，請聯絡客服中心。
- 價格、賣家、換貨/退貨及配送等與商品本身無關的咨詢請使用客服中心的1:1咨詢。
- 「商品本身」無關的內容、轉讓、廣告、辱罵、洗版等內容可能會被移動、隱藏或刪除。
- 請不要在公開的咨詢板塊中留下您的電話號碼、郵箱地址等個人資訊。
目前尚無咨詢。
如您發現商品有不實廣告、侵害智慧財產權或其他不適合銷售之情形，請提出檢舉