文件名称：Formal Specification and Documentation using Z: A Case Study Approach
文件大小：280KB
文件格式：PDF
更新时间：2014-08-18 13:21:20
Formal Specification Z Jonathan Bowen
书名：Formal Specification and Documentation using Z: A Case Study Approach 作者：Jonathan Bowen 介绍：形式化规格说明Z语言。建立在数理逻辑基础上的，可验证的一种软件工程方法。