文件名称：形式化语言 USING IN Z LANGUAGE
文件大小：4.74MB
文件格式：PDF
更新时间：2011-09-22 03:38:52
形式化语言 Z语言
This book contains enough material for three courses of study: a course on mathematics for software engineering, a course on formal speci cation, and a course on re nement. This material can be adapted in a number of ways, to support other courses or as part of a programme of self-paced learning.