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