図書

プログラミング言語の形式的意味論入門

図書を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

プログラミング言語の形式的意味論入門

国立国会図書館請求記号
M159-M1057
国立国会図書館書誌ID
032600297
資料種別
図書
著者
G.ウィンスケル 著ほか
出版者
丸善出版
出版年
2023.1
資料形態
ページ数・大きさ等
301p ; 21cm
NDC
007.64
すべて見る

資料に関する注記

一般注記:

原タイトル: THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES AN INTRODUCTION

資料詳細

要約等:

本書ではプログラミング言語を形式化し、その性質に関して形式的に論ずるための、数学的な背景知識や数理論理学の手法を解説する。(提供元: 出版情報登録センター(JPRO))

書店で探す

目次

  • まえがき

  • 第1章 集合論の基礎

  • 1.1 論理に関する記法/1.2 集合/1.3 関係と関数/1.4 参考文献

  • 第2章 入門:操作的意味論

  • 2.1 IMP――簡易命令型言語/2.2 算術式の評価/2.3 ブール式の評価/2.4 コマンドの実行/2.5 簡単な性質の証明/2.6 別の操作的意味論/2.7 参考文献

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

北日本

関東

東海・北陸

  • CiNii Research

    検索サービス
    連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。

書店で探す

出版書誌データベース Books から購入できる書店を探す

『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
ISBN
978-4-621-30763-2
タイトルよみ
プログラミング ゲンゴ ノ ケイシキテキ イミロン ニュウモン
著者・編者
G.ウィンスケル 著
末永幸平 監訳
勝股審也 [ほか] 訳
著者標目
訳者 : 末永, 幸平 スエナガ, コウヘイ ( 032654702 )典拠
訳者 : 勝股, 審也 カツマタ, シンヤ ( 032654705 )典拠
訳者 : 中澤, 巧爾 ナカザワ, コウジ ( 032654711 )典拠
訳者 : 西村, 進 ニシムラ, ススム ( 032654727 )典拠
訳者 : 前田, 敦司 マエダ, アツシ ( 001207603 )典拠
出版年月日等
2023.1
出版年(W3CDTF)
2023
数量
301p