愛德蒙·克拉克
美国计算机科学家 来自维基百科,自由的百科全书
小愛德蒙·梅爾森·克拉克(英語:Edmund Melson Clarke, Jr.,1945年7月27日—2020年12月22日),美國計算機科學家。2007年,他與艾倫·愛默生和約瑟夫·斯發基斯一起因在模型檢查取得的傑出貢獻而獲得圖靈獎。[1]
參照
外部連結
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
美国计算机科学家 来自维基百科,自由的百科全书
小愛德蒙·梅爾森·克拉克(英語:Edmund Melson Clarke, Jr.,1945年7月27日—2020年12月22日),美國計算機科學家。2007年,他與艾倫·愛默生和約瑟夫·斯發基斯一起因在模型檢查取得的傑出貢獻而獲得圖靈獎。[1]
Seamless Wikipedia browsing. On steroids.