登入
選單
返回
Google圖書搜尋
A Functorial Assessment of Bisimulations
Rocco De Nicola
Anna Labella
出版
Dipartimento di scienze dell'informazione, Università degli studi La Sapienza
, 1992
URL
http://books.google.com.hk/books?id=2d5dAQAACAAJ&hl=&source=gbs_api