登入選單
返回Google圖書搜尋
Formal Specification and Documentation Using Z
Jonathan Peter Bowen
其他書名
A Case Study Approach
出版International Thomson Computer Press, 1996
主題Computers / Languages / General
ISBN18503223099781850322306
URLhttp://books.google.com.hk/books?id=JRIiAQAAIAAJ&hl=&source=gbs_api