Formal Specification and Documentation using Z - A Case Study Approach.rar

时间:2010-11-15 12:35:41
【文件属性】:

文件名称: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

网友评论

  • 对于z语言的学习很有帮助