Category:形式手法の人物
出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動:
案内
、
検索
コンピュータ科学
における
形式手法
に関わる人物。
外部リンク
[
編集
]
Who's Who in Formal Methods
カテゴリ「形式手法の人物」にあるページ
このカテゴリには 19 ページが含まれており、そのうち以下の 19 ページを表示しています。
う
ニクラウス・ヴィルト
え
アレン・エマーソン
く
ドナルド・クヌース
す
デイナ・スコット
クリストファー・ストレイチー
た
エドガー・ダイクストラ
オーレ=ヨハン・ダール
ち
アロンゾ・チャーチ
アラン・チューリング
は
デイビッド・パーナス
ひ
カール・ヒューイット
ふ
アミール・プヌーリ
ロバート・フロイド
へ
カール・アダム・ペトリ
ほ
アントニー・ホーア
ま
ジョン・マッカーシー
み
ロビン・ミルナー
め
バートランド・メイヤー
ら
レスリー・ランポート
カテゴリ
:
形式手法
コンピュータ関連人物
案内メニュー
個人用ツール
アカウント作成
ログイン
名前空間
カテゴリ
ノート
変種
表示
閲覧
編集
履歴表示
操作
検索
案内
メインページ
コミュニティ・ポータル
最近の出来事
新しいページ
最近の更新
おまかせ表示
練習用ページ
アップロード (ウィキメディア・コモンズ)
ヘルプ
ヘルプ
井戸端
お知らせ
バグの報告
寄付
ウィキペディアに関するお問い合わせ
ツールボックス
リンク元
関連ページの更新状況
ファイルをアップロード
特別ページ
印刷用バージョン
この版への固定リンク
ページ情報
他言語版
English
Français
Türkçe
リンクを編集