-
大小: 2.53MB文件类型: .pdf金币: 1下载: 0 次发布日期: 2023-08-13
- 语言: 其他
- 标签: verification
资源简介
并发程序的验证方法和基础.对于编写并行程序、并行程序测试、程序正确性验证等方面的同学值得一看
代码片段和文件信息
- 上一篇：毛纲源：线性代数解题方法和技巧
- 下一篇：推箱子自动求解及游戏（最终算法源码及程序）
- 关于
- 发布源码
- 版权说明
川公网安备 51152502000135号- 蜀ICP备17041055号
- 举报邮箱softcode@aliyun.com
评论
共有 条评论