下載酷澎APP
最近瀏覽商品
(英文圖書) NASA Formal Methods: 15th International Symposium Nfm 2023 Houston Tx Usa May 16-18 202... 平裝版, Springer, 英文
12%
$2,791
$2,652
酷澎售價
$2,452
折扣後價格
6折
已套用優惠券
免運
免費退貨4/1 預計送達
賣家：Coupang Global LLC
刷卡優惠
商品特色
- 本書深入探討NASA在形式化方法上的最新研究，提供實用的案例與分析，讓讀者輕鬆掌握。
- 透過NFM 2023研討會的論文集，讀者可以了解形式化方法在航太領域的應用，擴展知識視野。
- 此書由領域專家Kristin Yvonne Rozier和Swarat Chaudhuri編輯，內容精闢，易於理解，適合各程度讀者。
商品概述
這本《NASA形式化方法：第15屆國際研討會論文集》深入探討了形式化方法在航太領域的應用。本書收錄了NFM 2023研討會的精選論文，由Kristin Yvonne Rozier和Swarat Chaudhuri編輯，涵蓋了最新的研究成果和實踐案例。讀者可以從中學習到NASA在形式化方法上的經驗，並了解其在軟體驗證、系統安全等方面的應用。本書適合對形式化方法和航太工程感興趣的學生、研究人員和工程師閱讀。透過本書，讀者可以擴展知識視野，提升專業技能。
查看更多
商品標示資訊
查看所有標示資訊查看更多
商品評價
酷澎上販售之同一商品的商品評價，商品賣家可能有所不同。
酷澎上販售之同一商品的商品評價，商品賣家可能有所不同。
沒有商品評價。
商品諮詢
- 購買的商品 取消/退貨請在我的酷澎購買記錄中申請。
- 商品咨詢及評價板塊不處理取消或退貨事宜，請聯絡客服中心。
- 價格、賣家、換貨/退貨及配送等與商品本身無關的咨詢請使用客服中心的1:1咨詢。
- 「商品本身」無關的內容、轉讓、廣告、辱罵、洗版等內容可能會被移動、隱藏或刪除。
- 請不要在公開的咨詢板塊中留下您的電話號碼、郵箱地址等個人資訊。
目前尚無咨詢。
如您發現商品有不實廣告、侵害智慧財產權或其他不適合銷售之情形，請提出檢舉