登入選單
Google圖書搜尋
Action nets and abstract statecharts in the theory...
作者
Hartmut Ehrig / Maike Gajewsky / Julia Padberg
出版1997
ISBN
OCLC:40121667
主題
Petri nets
Refinement Versus Verification
作者
Julia Padberg / Magda Gajewsky / Claudia Ermel
出版1997
ISBN
OCLC:40121664
主題
Parallel processing (Electronic computers)