Korean
Chinese(T)
Chinese(S)
Japanese
English
한국
대만
중국
일본
변환
병기
급수선택
1급
2급
3급
4급
5급
6급
7급
8급
추천사이트
변환기
이용안내
한국
대만
중국
일본
Category:形式方法人物 - ?基百科,自由的百科全?
跳?到?容
主菜?
主菜?
移至??
?藏
?航
首?
分?索引
特色?容
新???
最近更改
?机?目
?助?基百科
?助
?助
?基社群
方??指引
互助客?
知??答
字???
IRC??聊天
??我?
?于?基百科
搜索
搜索
外?
?建??
登?
?人工具
?建??
登?
未登???者的?面
了解?情
??
??
Category
:
形式方法人物
4??言
English
Francais
日本語
Turkce
???接
分?
??
不??
不??
??
繁體
大???
香港繁體
澳門繁體
大???
新加坡??
臺灣正體
??
??
?看?史
工具
工具
移至??
?藏
操作
??
??
?看?史
常?
?入?面
相?更改
上?文件
特殊?面
固定?接
?面信息
?取短URL
下?二??
?基?据?目
打印/?出
下??PDF
打印?面
在其他?目中
?基共享?源
外?
移至??
?藏
?助
?基百科,自由的百科全?
分?“形式方法人物”中的?面
以下11??面?于本分?,共11??面。
D
艾?赫?·戴克斯特拉
H
何??
K
?伯特·科瓦?斯基
L
彼得·?丁
?志明 (?算机科?家)
S
??·斯科特
V
摩西·瓦?迪
W
菲利普·瓦德勒
尼克?斯·??特
Z
周以?
周巢?
分?
:?
形式方法
?件工程?
理??算机科?家