登入選單
返回Google圖書搜尋
Husnu Yenigun, Kemal Inan: Verification using Leap Automata
Zmago Brezočnik
出版1997
URLhttp://books.google.com.hk/books?id=ms2OOQAACAAJ&hl=&source=gbs_api