登入選單

返回Google圖書搜尋

A Logic for Reasoning about Time and Reliability

Swedish Institute of Computer ScienceH. HanssonB. Jonsson

出版	Swedish Institute of Computer Science, 1990
URL	http://books.google.com.hk/books?id=O8ODHAAACAAJ&hl=&source=gbs_api