文件名称：Formal Specification and Documentation using Z:A Case Study Approach
文件大小：819KB
文件格式：PDF
更新时间：2012-05-12 10:36:41
Formal Specification, Documentation, Z,
有关用Z方法进行形式化规范介绍，很有用的电子书籍。
Formal Specification and Documentation using Z:A Case Study Approach
【文件属性】：