TOP
0
0
即日起~6/30,暑期閱讀書展,好書7折起

縮小範圍


商品類型

簡體書 (1)
商品狀況

可訂購商品 (1)
庫存狀況

無庫存 (1)
商品定價

$400~$599 (1)
出版日期

2022~2023 (1)
裝訂方式

平裝 (1)
作者

施智平、吳愛軒、關永、王國輝、張倩穎 (1)
出版社/品牌

科學出版社 (1)

三民網路書店 / 搜尋結果

1筆商品,1/1頁
矩陣結構與矩陣函數的形式化(簡體書)
滿額折
作者:施智平; 吳愛軒; 關永; 王國輝; 張倩穎  出版社:科學出版社  出版日:2023/09/01 裝訂:平裝
《矩陣結構與矩陣函數的形式化》系統深入地闡述了矩陣結構和矩陣函數的公理化體系,並給出基於此公理體系進行形式化分析與驗證的應用。主要內容包括:矩陣結構的形式化;矩陣序列與矩陣級數理論的形式化;矩陣函數微分的形式化;矩陣理論的自動化定理證明;矩陣理論公理化系統在信息或物理系統形式化建模驗證中的應用。
定價:468 元, 優惠價:87 407
海外經銷商無庫存,到貨日平均30天至45天

暢銷榜

客服中心

收藏

會員專區