登入選單

返回Google圖書搜尋

Verification of Several Parallel Coordination Programs Based on Descriptions of Their Reachability Sets

B. D. Lubachevsky

出版	Courant Institute of Mathematical Sciences, New York University, 1981
URL	http://books.google.com.hk/books?id=cLGhQwAACAAJ&hl=&source=gbs_api