登入選單

返回Google圖書搜尋

An Approach to Automating the Verification of Compact Parallel Coordination Programs. II.

Boris D. Lubachevsky

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