登入選單

返回Google圖書搜尋

Verification of Programs that Destructively Manipulate Data

University of Edinburgh. Department of Computer Science. Laboratory for Foundations of Computer ScienceIan A. Mason

出版	LFCS, Department of Computer Science, University of Edinburgh, 1987
URL	http://books.google.com.hk/books?id=BbyIGwAACAAJ&hl=&source=gbs_api