-
大小: 2.53MB文件類型: .pdf金幣: 1下載: 0 次發布日期: 2023-08-13
- 語言: 其他
- 標簽: verification??
資源簡介
并發程序的驗證方法和基礎.對于編寫并行程序、并行程序測試、程序正確性驗證等方面的同學值得一看
代碼片段和文件信息
- 上一篇:毛綱源:線性代數解題方法和技巧
- 下一篇:推箱子自動求解及游戲(最終算法源碼及程序)
評論
共有 條評論
共有 條評論