語系:
繁體中文
English
說明(常見問題)
登入
語系
英文
(1)
跳至 :
概要
|
書目資訊
|
主題
Drusinsky, Doron.
概要
作品:
12 作品在 1 項出版品 1 種語言
書目資訊
Modeling and verification using UML statecharts = a working guide to reactive system design, runtime monitoring, and execution-based model checking /
by: Drusinsky, Doron.
(書目-語言資料,印刷品)
主題
Computer software
Formal methods (Computer science)
UML (Computer science)
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入