下載酷澎APP
最近瀏覽商品
(英文圖書) Formal Methods - The Next 30 Years: Third World Congress FM 2019 Porto Portugal October 7... 平裝版, Springer, 英文
9折
$3,127
$3,501
$200
首購折扣價
·
折扣剩下11小時
$3,327
免運
免費退貨銀行回饋
台新銀行最高8%
玉山銀行最高7.5%
中國信託銀行最高6.25%
國泰世華銀行最高3.3%
第一銀行最高18%
永豐銀行最高10%
聯邦銀行最高8.3%
兆豐銀行最高7.5%
商品特色
- 探索形式化方法未來三十年的發展趨勢，掌握最新的研究方向與應用。
- 深入了解形式化方法在軟體工程中的應用，提升程式碼的可靠性與安全性。
- 透過世界頂尖學者的論文集，拓展您在形式化方法領域的知識與視野。
商品概述
本書《形式化方法：未來三十年》彙集了第三屆世界大會FM 2019在葡萄牙波爾圖的會議論文集，深入探討形式化方法在軟體開發中的應用與未來發展。由Maurice H. ter Beek、Annabelle McIver和José N. Oliveira編輯，涵蓋了該領域的最新研究成果和趨勢。本書適合電腦科學研究人員、軟體工程師以及對形式化方法感興趣的讀者。透過本書，讀者可以了解形式化方法如何提高軟體系統的可靠性、安全性和正確性。Springer出版社的平裝本，方便攜帶與閱讀，是您學習和研究形式化方法的理想選擇。
查看更多
商品標示資訊
查看所有標示資訊查看更多
商品評價
酷澎上販售之同一商品的商品評價，商品賣家可能有所不同。
酷澎上販售之同一商品的商品評價，商品賣家可能有所不同。
沒有商品評價。
商品諮詢
- 購買的商品 取消/退貨請在我的酷澎購買記錄中申請。
- 商品咨詢及評價板塊不處理取消或退貨事宜，請聯絡客服中心。
- 價格、賣家、換貨/退貨及配送等與商品本身無關的咨詢請使用客服中心的1:1咨詢。
- 「商品本身」無關的內容、轉讓、廣告、辱罵、洗版等內容可能會被移動、隱藏或刪除。
- 請不要在公開的咨詢板塊中留下您的電話號碼、郵箱地址等個人資訊。
目前尚無咨詢。
如您發現商品有不實廣告、侵害智慧財產權或其他不適合銷售之情形，請提出檢舉