TOP
0
0
魅麗。花火原創小說66折起

縮小範圍


商品類型


原文書 (2)

商品狀況


可訂購商品 (2)

庫存狀況


無庫存 (2)

商品定價


$800以上 (2)

出版日期


2016年以前 (2)

裝訂方式


平裝 (1)
精裝 (1)

作者


Kurt Jensen/ Lars M. Kristensen (1)
Lars M. Kristensen (EDT)/ Laure Petrucci (EDT) (1)

出版社/品牌


Springer Verlag (1)
Springer-Verlag New York Inc (1)

三民網路書店 / 搜尋結果

2筆商品,1/1頁
Coloured Petri Nets ― Modeling and Validation of Concurrent Systems

1.Coloured Petri Nets ― Modeling and Validation of Concurrent Systems

作者:Kurt Jensen; Lars M. Kristensen  出版社:Springer Verlag  出版日:2009/07/01 裝訂:精裝
Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such sy
若需訂購本書,請電洽客服
02-25006600[分機130、131]。
Application and Theory of Petri Nets

2.Application and Theory of Petri Nets

作者:Lars M. Kristensen (EDT); Laure Petrucci (EDT)  出版社:Springer-Verlag New York Inc  出版日:2011/08/02 裝訂:平裝
This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in
若需訂購本書,請電洽客服
02-25006600[分機130、131]。

暢銷榜

客服中心

收藏

會員專區