Formal Specification and Documentation using Z - A Case Study Ap...
4星 · 超过85%的资源 需积分: 9 187 浏览量
2007-10-26
18:49:01
上传
评论
收藏 692KB RAR 举报 
Formal Specification and Documentation using Z - A Case Study Approach.rar （1个子文件） 
Formal Specification and Documentation using Z - A Case Study Approach.pdf 819KB资源评论
jinguobingjiang2013-03-06对于z语言的学习很有帮助
