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