亚洲综合在线视频-亚洲综合在线观看视频-亚洲综合视频网-亚洲综合色秘密影院秘密影院-日本三区四区免费高清不卡

您好，歡迎您光臨全球化工設備網，
當前位置：全球化工設備網 > 資訊 > 并發程序驗證

并發程序驗證

加入收藏

  • 中國科大在并發程序驗證研究中取得進展(2016-01-29)

    1月20日至23日，第43屆編程語言原理國際會議（簡稱POPL）在美國佛羅里達州圣彼德斯堡召開。中國科學技術大學特任副研究員梁紅瑾和教授馮新宇在并發程序驗證領域取得新進展，首次設計出一種驗證并發對…[詳情]

共1條，頁碼：1/1頁 上一頁1下一頁