-
大小: 2.53MB文件類(lèi)型: .pdf金幣: 1下載: 0 次發(fā)布日期: 2023-08-13
- 語(yǔ)言: 其他
- 標(biāo)簽: verification??
資源簡(jiǎn)介
并發(fā)程序的驗(yàn)證方法和基礎(chǔ).對(duì)于編寫(xiě)并行程序、并行程序測(cè)試、程序正確性驗(yàn)證等方面的同學(xué)值得一看
代碼片段和文件信息
評(píng)論
共有 條評(píng)論