博客來
搜尋結果
熱門搜尋
【我要重新搜尋】
zohar
pnueli
精準搜尋
模糊搜尋
您輸入的關鍵字:
Zohar Pnueli
分類
(單選)
所有商品(2)
圖書(2)
顯示所有篩選
配送方式
(可複選)
可海外宅配(2)
其他
(可複選)
作者/演唱/譯/編/繪(2)
綜合排序
熱銷度
日期
價格
~
確認
現在可購買
可超取
搜尋結果共
2
筆, 頁數
1
/ 1
呈現:
列表
小圖
Temporal Verification of Reactive Systems: Safety
外文書
Amir
Manna
Zohar
/
Pnueli
優惠價:
6599
元
The Temporal Logic of Reactive and Concurrent Systems: Specification
外文書
Amir
Manna
Zohar
/
Pnueli
優惠價:
7000
元
搜尋推薦
另外從您輸入的關鍵字中,推薦您關鍵字:
pnueli
的結果(
請點選看全部符合的商品
)
Two Approaches to Interprocedural Data Flow Analysis
優惠價:
1702
元
Two Approaches to Interprocedural Data Flow Analysis
優惠價:
987
元
The Temporal Logic of Reactive and Concurrent Systems: Specification
優惠價:
3299
元
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, Psi 2009, Novosibirsk, Russia, June 15
優惠價:
3299
元
Hybrid Systems: Computation and Control : 6th International Workshop, Hscc 2003, Prague, Czech Republic, April 3-5, 2003 : Proce
優惠價:
7450
元
Fluid Mechanics
優惠價:
5399
元
您可能感興趣的活動