客戶咨詢：
并發程序驗證
中國科大在并發程序驗證研究中取得進展(2016-01-29)
1月20日至23日，第43屆編程語言原理國際會議（簡稱POPL）在美國佛羅里達州圣彼德斯堡召開。中國科學技術大學特任副研究員梁紅瑾和教授馮新宇在并發程序驗證領域取得新進展，首次設計出一種驗證并發對…[詳情]
今日推薦
- ·上海熊貓集團與新疆天澤水投簽署戰略合作協議
- ·總投資2.1億元！臥龍鑄造年產1萬噸耐腐泵閥鑄件加工廠房項目盛大開工
- ·合肥華運機械出口俄羅斯礦用軟管閥制造完成，為中俄礦業合作注入新動能
- ·上海自儀多個領域取得重大突破
- ·京津冀最大規模CCUS項目“吃”碳又“吐”油 累計注入二氧化碳超20萬噸 驅油效率較常規注氣重力
- ·中國化學簽署哈薩克斯坦首個煤制氣項目合作協議
- ·創力傳動助力上鼓透平解析氣壓縮機和氨氣壓縮機一次開車成功
- ·沈鼓11萬空分裝置壓縮機組賦能寶豐全球最大煤制烯烴項目高效投產
- ·興核智控預計出口額達2000萬至3000萬元，年產值邁過3億大關！
- ·年產成品閥門10萬余套！保俐鑄造計劃無燈工廠生產方式