下載酷澎APP
最近瀏覽商品
(英文圖書) Integrated Formal Methods: 17th International Conference Ifm 2022 Lugano Switzerland June... 平裝版, Springer, 英文
12%
$2,546
$2,418
酷澎售價
$2,218
折扣後價格
6折
已套用優惠券
免運
免費退貨賣家：Coupang Global LLC
刷卡優惠
商品特色
- 探索形式化方法整合，掌握IFM 2022會議精華，提升電腦科學研究能力。
- 深入了解LNCS 13274，學習最新的形式化驗證技術，拓展程式設計視野。
- 透過Springer出版的論文集，輕鬆掌握程式開發新知，強化軟體工程實力。
商品概述
這本外文書籍收錄了第17屆國際形式化方法整合會議（IFM 2022）的論文集，由Maurice H. ter Beek和Rosemary Monahan編輯，透過Springer出版。書籍以平裝本形式呈現，語言為英文，ISBN為9783031077265。內容涵蓋形式化驗證的最新研究成果，適合電腦科學研究者、軟體工程師以及對形式化方法感興趣的讀者。本書深入探討形式化方法在軟體開發中的應用，有助於提升程式設計的準確性和可靠性。透過閱讀本書，讀者可以掌握最新的技術趨勢，並將其應用於實際專案中。
查看更多
商品標示資訊
查看所有標示資訊查看更多
商品評價
酷澎上販售之同一商品的商品評價，商品賣家可能有所不同。
酷澎上販售之同一商品的商品評價，商品賣家可能有所不同。
沒有商品評價。
商品諮詢
- 購買的商品 取消/退貨請在我的酷澎購買記錄中申請。
- 商品咨詢及評價板塊不處理取消或退貨事宜，請聯絡客服中心。
- 價格、賣家、換貨/退貨及配送等與商品本身無關的咨詢請使用客服中心的1:1咨詢。
- 「商品本身」無關的內容、轉讓、廣告、辱罵、洗版等內容可能會被移動、隱藏或刪除。
- 請不要在公開的咨詢板塊中留下您的電話號碼、郵箱地址等個人資訊。
目前尚無咨詢。
如您發現商品有不實廣告、侵害智慧財產權或其他不適合銷售之情形，請提出檢舉