Formal Specification and Documentation using Z: A Case Study Approach
简介：
暂无
- 书名
- Formal Specification and Documentation using Z: A Case Study Approach
- 译名
- 使用 Z 进行形式化规范和文档编制：案例研究方法
- 语言
- 英语
- 年份
- 2003
- 页数
- 315页
- 大小
- 818.67 kB
- 下载
Formal Specification and Documentation using Z: A Case Study Approach.pdf- 密码
- 65536
最后更新：2025-04-12 23:58:16
←The Scientist and Engineer's Guide to Digital Signal Processing, 2nd Edition