登入
選單
返回
Google圖書搜尋
OBJSA Nets: OBJ and Petri Nets for Specifying Concurrent Systems
E. Battiston
F. De Cindio
G. Mauri
出版
Università di Milano. Dipartimento di Scienze dell'Informazione
, 1990
URL
http://books.google.com.hk/books?id=-lwKzQEACAAJ&hl=&source=gbs_api