登入選單

返回Google圖書搜尋

Behavioural and abstractor specifications

Michel BidoitRolf HennickerMartin Wirsing

出版	Univ. München, Inst. für Informatik, 1994
URL	http://books.google.com.hk/books?id=xnmFtgAACAAJ&hl=&source=gbs_api