您好，歡迎您光臨全球化工設(shè)備網(wǎng)，
當(dāng)前位置：全球化工設(shè)備網(wǎng) > 資訊 > 并發(fā)程序驗(yàn)證

并發(fā)程序驗(yàn)證

加入收藏

  • 中國(guó)科大在并發(fā)程序驗(yàn)證研究中取得進(jìn)展(2016-01-29)

    1月20日至23日，第43屆編程語(yǔ)言原理國(guó)際會(huì)議（簡(jiǎn)稱POPL）在美國(guó)佛羅里達(dá)州圣彼德斯堡召開。中國(guó)科學(xué)技術(shù)大學(xué)特任副研究員梁紅瑾和教授馮新宇在并發(fā)程序驗(yàn)證領(lǐng)域取得新進(jìn)展，首次設(shè)計(jì)出一種驗(yàn)證并發(fā)對(duì)…[詳情]

共1條，頁(yè)碼：1/1頁(yè) 上一頁(yè)1下一頁(yè)