博客來
搜尋結果
圖書
熱門搜尋
您輸入的關鍵字:
J. R. Abrial
分類
(單選)
所有商品(1)
圖書(1)
外文書(1)
顯示所有篩選
配送方式
(可複選)
可海外宅配(1)
其他
(可複選)
作者/演唱/譯/編/繪(1)
綜合排序
熱銷度
日期
價格
~
確認
現在可購買
可超取
搜尋結果共
1
筆, 頁數
1
/ 1
呈現:
列表
小圖
The B-Book: Assigning Programs to Meanings
外文書
Abrial
J
.
R
./
Abrial
Jean-Raymond
優惠價:
7440
元
搜尋推薦
另外從您輸入的關鍵字中,推薦您關鍵字:
abrial
的結果(
請點選看全部符合的商品
)
坦然脆弱,敢於脆弱:挖掘隱密的內在,轉化成堅強的力量 (電子書)
優惠價:
295
元
Modeling in Event-B: System and Software Engineering
優惠價:
9600
元
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday
優惠價:
3299
元
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
優惠價:
7450
元