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