登入選單
返回Google圖書搜尋
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Dirk Beyer
出版Dirk Beyer, 2002
ISBN38982045029783898204507
URLhttp://books.google.com.hk/books?id=psEhN74boe4C&hl=&source=gbs_api
EBookSAMPLE