Product image

Static Analysis: 25th International Symposium SAS 2018 Freiburg Germany August 29-31 2018 Proc... 平裝版, Springer, 英文

12%
$2,510
$2,385
酷澎售價
$2,185
首購折扣價
最高3折
已套用首購優惠券
6/20 預計送達
免運免費退貨
賣家:Coupang Global LLC
銀行回饋
  • 台新銀行
    最高8%
  • 玉山銀行
    最高6.8%
  • 中國信託銀行
    最高5%
  • 國泰世華銀行
    最高3.3%
  • 永豐銀行
    最高10%
  • 滙豐銀行
    最高10%
  • 遠東商銀
    最高9.9%
  • 合作金庫銀行
    最高9.2%
商品特色
  • 本書深入探討靜態分析的原理與應用,助您掌握程式碼品質檢測的核心技術。
  • 透過國際研討會論文集,了解靜態分析領域的最新研究成果與發展趨勢。
  • 適合程式設計師、軟體工程師及研究人員,提升程式碼分析與驗證能力。
商品主要規格
ISBN
9783319997247
作者
Podelski, Andreas
酷澎商品編號
21001950482517 - 21003313223786

商品概述

本書為第25屆靜態分析國際研討會(SAS 2018)的論文集,匯集了來自世界各地的研究人員在靜態分析領域的最新研究成果。靜態分析是一種在不執行程式碼的情況下,對程式碼進行分析的技術,可用於檢測程式碼中的錯誤、漏洞和不良程式碼風格。本書涵蓋了靜態分析的各種主題,包括抽象解釋、模型檢查、程式驗證和程式轉換。本書適合程式設計師、軟體工程師和研究人員閱讀,可幫助他們了解靜態分析的原理與應用,並提升程式碼品質。
查看更多

商品標示資訊

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

商品評價

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

商品諮詢

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

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

與此商品相關的類別