开通博客赚积分
发布资源赚积分
分类

源码开发语言/平台
Formal Specification and Documentation using Z: A Case Study Approach
文件大小： 280k
源码售价： 10 个金币 积分规则     积分充值
充值1元得10金币   
资源说明：书名：Formal Specification and Documentation using Z: A Case Study Approach 作者：Jonathan Bowen 介绍：形式化规格说明Z语言。建立在数理逻辑基础上的，可验证的一种软件工程方法。
部分文件列表（点击文件名可查看文件内容）
本源码包内暂不包含可直接显示的源代码文件，请下载源码包。