文件名称：Formal Specification and Documentation using Z - A Case Study Approach.rar
文件大小：692KB
文件格式：RAR
更新时间：2010-11-15 12:35:41
and Documentation Formal Specification using
Formal Specification and Documentation using Z - A Case Study Approach.rar
【文件预览】：
Formal Specification and Documentation using Z - A Case Study Approach.pdf