Category:形式手法の人物
アロンゾ・チャーチ
Alonzo Church
ドナルド・クヌース
Donald Knuth
レスリー・ランポート
Leslie Lamport
デイビッド・パーナス
David Parnas
カール・アダム・ペトリ
Carl Adam Petri
アミール・プヌーリ
Amir Pnueli
ロビン・ミルナー
Robin Milner
オーレ＝ヨハン・ダール
Ole-Johan Dahl
ロバート・フロイド
Robert W. Floyd
ハーラン・ミルズ
Harlan Mills
アレン・エマーソン
E. Allen Emerson
クリストファー・ストレイチー
Christopher Stracheyカール・ヒューイット
Carl Hewitt
バートランド・メイヤー
Bertrand Meyerデイナ・スコット
Dana Scott
ニクラウス・ヴィルト
Niklaus Wirth
エドガー・ダイクストラ
Edsger W. Dijkstra
アントニー・ホーア
Tony Hoare
ジョン・マッカーシー
John McCarthy (computer scientist)
アラン・チューリング
Alan Turing▼-1 trends
