登入選單

返回Google圖書搜尋

Observational Approaches in Algebraic Specifications: a Comparative Study

G. BernotMichel BidoitT. Knapik

出版	Ecole Normale Supérieure (Paris). Laboratoire d'Informatique, 1991
URL	http://books.google.com.hk/books?id=FyTurQEACAAJ&hl=&source=gbs_api