登入選單
返回Google圖書搜尋
其他書名
Hows, Whys and Wherefores
出版Department of Computer Science, The University of Waikato
URLhttp://books.google.com.hk/books?id=L4bIzgEACAAJ&hl=&source=gbs_api
註釋"In this paper we show, by a series of examples, how the μ-chart formalism can be translated into Z. We give reasons for why this [is] an interesting and sensible thing to do and what it might be used for."--[Page 1].