登入選單
返回Google圖書搜尋
Locative Temporal Logic and Distributed Real-time Systems
Martin J. Wieczorek
其他書名
Specification
出版Katholieke Universiteit Nijmegen, 1994
ISBN90373025729789037302578
URLhttp://books.google.com.hk/books?id=4j4JywAACAAJ&hl=&source=gbs_api