華通書坊
註冊 登入
 精準搜尋
書名: Concurrency Verification Intruduction to Conpositional and Noncompositional Methods 2001 (CAM.) 0-521-80608-9
作者: W.P.DE ROEVER
ISBN: 9780521806084
出版社: Cambridge
書籍開數、尺寸: 24.9x16x4.3
頁數: 800
定價: 4400元
售價: 4400元
庫存: 已售完
LINE US!
此書為本公司代理，目前已售完，有需要可以向line客服詢問進口動向

Concurrency Verification Intruduction to Conpositional and Noncompositional Methods 2001 (CAM.) 0-521-80608-9

定價: 4400 售價: 4400 現省: 0

付款方式: 超商取貨付款 line pay
信用卡 全支付
線上轉帳 Apple pay
物流方式: 超商取貨
宅配
門市自取

為您推薦

PARTIAL-ORDER FOR THE VERIFICATION OF CONCURRENT SYSTEMS 1996

PARTIAL-ORDER FOR THE VERIFICATION OF CONCURRENT SYSTEMS 1996

類似書籍推薦給您

原價: 840 售價: 840 現省: 0元
立即查看
VERIFICATION OF SEQUENTIAL & CONCURRENT PROGRAMS 2/E 1997 0-387-948961

VERIFICATION OF SEQUENTIAL & CONCURRENT PROGRAMS 2/E 1997 0-387-948961

類似書籍推薦給您

原價: 1350 售價: 1350 現省: 0元
立即查看
Transactions on Petri Nets and Other Models of Concurrency I 2008<SV>978-3-540-89286-1

Transactions on Petri Nets and Other Models of Concurrency I 2008<SV>978-3-540-89286-1

類似書籍推薦給您

原價: 2743 售價: 2743 現省: 0元
立即查看
CONCUR 2008 - Concurrency Theory 2008<SV>978-3-540-85360-2

CONCUR 2008 - Concurrency Theory 2008<SV>978-3-540-85360-2

類似書籍推薦給您

原價: 3000 售價: 3000 現省: 0元
立即查看
Concurrency, Graphs and Models 2008<SV>978-3-540-68676-7

Concurrency, Graphs and Models 2008<SV>978-3-540-68676-7

類似書籍推薦給您

原價: 3730 售價: 3730 現省: 0元
立即查看