登入選單

返回Google圖書搜尋

A Survey of Formal Software Development Methods

University of Edinburgh. Department of Computer Science. Laboratory for Foundations of Computer ScienceDonald Sannella

出版	University of Edinburgh. Department of Computer Science. Laboratory for Foundations of Computer Science., 1988
URL	http://books.google.com.hk/books?id=umoNHQAACAAJ&hl=&source=gbs_api