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