下載酷澎APP
最近瀏覽商品
Leveraging Applications of Formal Methods Verification and Validation. Verification: 8th Internatio... 平裝版, Springer, 英文
13%
$2,312
$2,197
酷澎售價
$1,997
首購折扣價
最高3折
已套用首購優惠券
免運
免費退貨賣家：Coupang Global LLC
銀行回饋
台新銀行最高8%
玉山銀行最高6.8%
中國信託銀行最高5%
國泰世華銀行最高3.3%
永豐銀行最高10%
滙豐銀行最高10%
遠東商銀最高9.9%
合作金庫銀行最高9.2%
商品特色
- 透過形式化方法，驗證和確認應用程式，確保軟體開發流程的可靠性與高效性。
- 深入了解ISOLA 2018國際研討會的精華內容，掌握最新的驗證技術與應用趨勢。
- 此書探討形式化方法的應用，助您在軟體驗證領域中提升專業技能與實戰經驗。
商品概述
這本外文書籍深入探討形式化方法在驗證和確認應用程式中的應用。書中收錄了第八屆ISOLA國際研討會的論文集，匯集了來自世界各地的專家學者的研究成果。透過本書，讀者可以了解最新的驗證技術、方法和工具，並將其應用於實際的軟體開發過程中。本書適合軟體工程師、研究人員以及對形式化方法感興趣的讀者。
查看更多
商品標示資訊
查看所有標示資訊查看更多
商品評價
酷澎上販售之同一商品的商品評價，商品賣家可能有所不同。
酷澎上販售之同一商品的商品評價，商品賣家可能有所不同。
沒有商品評價。
商品諮詢
- 購買的商品 取消/退貨請在我的酷澎購買記錄中申請。
- 商品咨詢及評價板塊不處理取消或退貨事宜，請聯絡客服中心。
- 價格、賣家、換貨/退貨及配送等與商品本身無關的咨詢請使用客服中心的1:1咨詢。
- 「商品本身」無關的內容、轉讓、廣告、辱罵、洗版等內容可能會被移動、隱藏或刪除。
- 請不要在公開的咨詢板塊中留下您的電話號碼、郵箱地址等個人資訊。
目前尚無咨詢。
如您發現商品有不實廣告、侵害智慧財產權或其他不適合銷售之情形，請提出檢舉