登入選單
返回Google圖書搜尋
Semantics with Applications
其他書名
Model-based Program Analysis
出版Datalogisk Afdeling, Aarhus Universitet, 1996
URLhttp://books.google.com.hk/books?id=GMWkygAACAAJ&hl=&source=gbs_api