首页
随机
附近
登录
设置
资助维基百科
关于维基百科
免责声明
搜索
Category
:
形式方法人物
语言
监视
分类“形式方法人物”中的页面
以下12个页面属于本分类,共12个页面。
D
艾兹赫尔·戴克斯特拉
H
何积丰
K
罗伯特·科瓦尔斯基
L
彼得·兰丁
刘志明 (计算机科学家)
S
达纳·斯科特
V
摩西·瓦尔迪
W
菲利普·瓦德勒
阿德里安·范·韦恩加登
尼克劳斯·维尔特
Z
周以真
周巢尘