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