雒逸濛
2021-07-28
爱德蒙·克拉克(英语:EdmundM.Clarke,1945年7月27日-)美国计算机科学家。2007年,他与艾伦·爱默生和约瑟夫·斯发基斯一起因在Modelchecking取得的杰出贡献而获得图灵奖。
0条评论
取 消 确 定
相关问题互动
沈姓的祖先是谁?
锺文懿
赞0
微信
QQ空间
QQ
微博