下載酷澎APP
最近瀏覽商品
(英文圖書) Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of ... 平裝版, Springer, 英文
12%
$2,510
$2,385
酷澎售價
$2,185
首購折扣價
最高6折
已套用首購優惠券
免運
免費退貨4/1 預計送達
賣家：Coupang Global LLC
刷卡優惠
商品特色
- 本書深入探討程式設計理論，提供清晰易懂的範例，讓讀者輕鬆掌握程式設計的核心概念。
- 透過形式化方法的介紹，本書幫助讀者建立嚴謹的程式設計思維，提升程式碼的品質與可靠性。
- 本書匯集了多位專家的論文，內容涵蓋程式設計的各個面向，為讀者提供廣泛而深入的知識。
商品概述
本書《程式設計理論與形式化方法論文集》旨在慶祝Jifeng He先生的80歲生日，匯集了多位專家學者針對程式設計理論與形式化方法撰寫的論文。本書深入探討程式設計的核心概念，並介紹形式化方法的應用，旨在幫助讀者建立嚴謹的程式設計思維，提升程式碼的品質與可靠性。本書內容廣泛而深入，涵蓋程式設計的各個面向，適合程式設計師、研究人員以及對程式設計理論感興趣的讀者閱讀。透過本書，讀者可以深入了解程式設計的本質，並掌握提升程式碼品質的有效方法。本書採用平裝設計，方便攜帶與閱讀。
查看更多
商品標示資訊
查看所有標示資訊查看更多
商品評價
酷澎上販售之同一商品的商品評價，商品賣家可能有所不同。
酷澎上販售之同一商品的商品評價，商品賣家可能有所不同。
沒有商品評價。
商品諮詢
- 購買的商品 取消/退貨請在我的酷澎購買記錄中申請。
- 商品咨詢及評價板塊不處理取消或退貨事宜，請聯絡客服中心。
- 價格、賣家、換貨/退貨及配送等與商品本身無關的咨詢請使用客服中心的1:1咨詢。
- 「商品本身」無關的內容、轉讓、廣告、辱罵、洗版等內容可能會被移動、隱藏或刪除。
- 請不要在公開的咨詢板塊中留下您的電話號碼、郵箱地址等個人資訊。
目前尚無咨詢。
如您發現商品有不實廣告、侵害智慧財產權或其他不適合銷售之情形，請提出檢舉