登入選單
返回Google圖書搜尋
Formal Techniques in Real-time and Fault-tolerant Systems
出版Springer-Verlag, 1996
ISBN35406164899783540616481
URLhttp://books.google.com.hk/books?id=tY5QAAAAMAAJ&hl=&source=gbs_api