|
書名:Reactive Systems: Modelling, Specification and Verification [反應系統:建模,規格和驗證]
ISBN10:0521875463
ISBN13:9780521875462
書號:9780521875462
作者:Aceto, Luca
出版社:Cambridge University Press
出版年份:2007
English / 精裝
[ 資訊 ] 資訊工程
定價:NT4125
會員價:NT3919
省下:NT206
約要 3 ~ 7 個工作天出貨
|