下載酷澎APP
最近瀏覽商品
(英文圖書) Tools and Algorithms for the Construction and Analysis of Systems: 25th International Confere... 平裝版, Springer, 英文
16%
$1,696
$1,611
酷澎售價
$1,411
首購折扣價
最高6折
已套用首購優惠券
免運
免費退貨4/1 預計送達
賣家：Coupang Global LLC
刷卡優惠
商品特色
- 探索系統建構與分析的工具和演算法，提升軟體開發效率與品質。
- 深入了解TACAS 2019國際會議精華，掌握最新的程式設計技術與應用。
- 透過Springer出版的論文集，拓展您在電腦科學領域的知識與視野。
商品概述
這本論文集匯集了第25屆國際系統建構與分析工具和演算法會議（TACAS 2019）的精選論文，深入探討了軟體開發中的關鍵技術與方法。本書由Tomáš Vojnar和Lijun Zhang編輯，涵蓋了程式設計、驗證和分析等主題，為讀者提供了豐富的知識和實用工具。透過閱讀本書，您可以了解最新的研究成果，並將其應用於實際的軟體開發專案中。本書適合電腦科學研究人員、軟體工程師和對系統建構與分析感興趣的讀者。Springer Open出版。
查看更多
商品標示資訊
查看所有標示資訊查看更多
商品評價
酷澎上販售之同一商品的商品評價，商品賣家可能有所不同。
酷澎上販售之同一商品的商品評價，商品賣家可能有所不同。
沒有商品評價。
商品諮詢
- 購買的商品 取消/退貨請在我的酷澎購買記錄中申請。
- 商品咨詢及評價板塊不處理取消或退貨事宜，請聯絡客服中心。
- 價格、賣家、換貨/退貨及配送等與商品本身無關的咨詢請使用客服中心的1:1咨詢。
- 「商品本身」無關的內容、轉讓、廣告、辱罵、洗版等內容可能會被移動、隱藏或刪除。
- 請不要在公開的咨詢板塊中留下您的電話號碼、郵箱地址等個人資訊。
目前尚無咨詢。
如您發現商品有不實廣告、侵害智慧財產權或其他不適合銷售之情形，請提出檢舉