登入選單

返回Google圖書搜尋

A Hardware Semantics Based on Temporal Intervalls

Joseph HalpernZohar MannaBen Moszkowski

出版	Department of Computer Science, Univ., 1983
URL	http://books.google.com.hk/books?id=eFGlPgAACAAJ&hl=&source=gbs_api