首頁
隨機
附近
登入
設定
資助維基百科
關於Wikipedia
免責聲明
搜尋
分類
:
形式方法人物
語言
監視
編輯
「形式方法人物」分類中的頁面
此分類共有 12 個頁面,以下顯示其中 12 個。
D
艾兹赫尔·戴克斯特拉
H
何积丰
K
罗伯特·科瓦尔斯基
L
彼得·兰丁
刘志明 (计算机科学家)
S
达纳·斯科特
V
摩西·瓦尔迪
W
菲利普·瓦德勒
阿德里安·范·韦恩加登
尼克劳斯·维尔特
Z
周以真
周巢尘