登入
選單
返回
Google圖書搜尋
Merge and Termination in Process Algebra
J. C. M. Baeten
R. J. van Glabbeek
出版
Centrum voor Wiskunde en Informatica
, 1987
URL
http://books.google.com.hk/books?id=TzpfHAAACAAJ&hl=&source=gbs_api