看板 [ NTUEE_VAL ]
討論串08 turing award
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: 08 turing award
推噓0(0推 0噓 2→)留言2則，0人參與, 最新作者bask (gan)時間18年前 (2008/02/18 12:04), 編輯資訊
0
0
1
內容預覽:
i. . He serves on the steering committee of the International Symposium on. Automated Technology for Verification and Analysis (ATVA) as well as the.
(還有143個字)
#1
08 turing award
推噓0(0推 0噓 2→)留言2則，0人參與, 最新作者bask (gan)時間18年前 (2008/02/18 11:58), 編輯資訊
0
0
1
內容預覽:
http://newswire.ascribe.org/cgi-bin/behold.pl?ascribeid=20080204.062937. ACM President Stuart Feldman said the work of Clarke, Emerson and Sifakis. ha
(還有383個字)
首頁
上一頁
1
下一頁
尾頁