Product image

(英文圖書) Software Verification: 13th International Conference VSTTE 2021 New Haven CT USA October... 平裝版, Springer, 英文

16%
$1,703
$1,619
酷澎售價
$1,419
首購折扣價
最高6折
已套用首購優惠券
免運免費退貨
4/1 預計送達
賣家:Coupang Global LLC
刷卡優惠
商品特色
  • 深入了解軟體驗證的最新技術,掌握程式碼品質與可靠性的關鍵。
  • 透過國際會議論文集,輕鬆學習軟體開發中的驗證方法與實踐。
  • 探索VSTTE 2021會議精選論文,提升您在軟體工程領域的專業知識。
商品主要規格
ISBN
9783030955601
作者
Bloem, Roderick ; Dimitrova, Rayna ; Fan, Chuchu
酷澎商品編號
21006367111678 - 21013468359632

商品概述

這本《Software Verification: 13th International Conference, VSTTE 2021》論文集,匯集了來自世界各地的頂尖研究人員的最新成果。它深入探討了軟體驗證的各個方面,包括形式化方法、模型檢測和程式分析。本書收錄了VSTTE 2021會議的精選論文,為讀者提供了軟體驗證領域的全面視角。無論您是研究人員、開發人員還是學生,本書都將幫助您掌握軟體驗證的關鍵技術,提升軟體開發的品質與可靠性。透過閱讀本書,您可以了解最新的研究趨勢,並將其應用於實際的軟體開發專案中。
查看更多

商品標示資訊

查看所有標示資訊查看更多

商品評價

酷澎上販售之同一商品的商品評價,商品賣家可能有所不同。
酷澎上販售之同一商品的商品評價,商品賣家可能有所不同。
沒有商品評價。

商品諮詢

  • 購買的商品 取消/退貨請在我的酷澎購買記錄中申請
  • 商品咨詢及評價板塊不處理取消或退貨事宜,請聯絡客服中心。
  • 價格、賣家、換貨/退貨及配送等與商品本身無關的咨詢請使用客服中心的1:1咨詢
  • 「商品本身」無關的內容、轉讓、廣告、辱罵、洗版等內容可能會被移動、隱藏或刪除
  • 請不要在公開的咨詢板塊中留下您的電話號碼、郵箱地址等個人資訊。
目前尚無咨詢。

如您發現商品有不實廣告、侵害智慧財產權或其他不適合銷售之情形,請提出檢舉 

與此商品相關的類別