資料詳細

  • 1 件中、 1 件目

[ 和図書 ] プログラム意味論 ( 情報数学講座 7 )

横内 寛文／著 -- 共立出版 -- 1994.6 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般図書 /5355/4491/94 1127470421 Digital BookShelf
1994/06/13 可能（館内閲覧） 利用可   0

    • 統合検索
      都内図書館の所蔵を
      横断検索します。       類似資料 AI Shelf
      この資料に類似した資料を
      AIが紹介します。
遠隔複写申込みは、東京都在住・在勤・在学の方からお受けいたします。
複写カート機能には、Cookieを使用しています。申込む際はCookieを有効にしてください。

ページの先頭へ

資料詳細 閉じる

ISBN 4-320-02657-8
タイトル プログラム意味論
タイトルカナ プログラム イミロン
著者名 横内 寛文 ／著
著者名典拠番号

110002147180000

出版地 東京
出版者 共立出版
出版者カナ キョウリツ シュッパン
出版年 1994.6
ページ数 261p
大きさ 22cm
シリーズ名 情報数学講座
シリーズ名のルビ等 ジョウホウ スウガク コウザ
シリーズ番号 7
シリーズ番号読み 7
価格 ¥3500
内容紹介 第1章 表示的意味論の考え方 第2章 ラムダ計算の基礎 第3章 領域理論の基礎 第4章 関数型言語の意味論 第5章 カテゴリ理論の基礎 第6章 領域方程式 第7章 ラムダ計算の意味論
一般件名 プログラミング(コンピュータ) , 意味論
一般件名カナ プログラミング(コンピュータ),イミロン
一般件名典拠番号

510348100000000 , 510490000000000

分類：都立NDC10版 007.64
資料情報1 『プログラム意味論』（情報数学講座 7）　横内 寛文／著 　共立出版　1994.6（所蔵館：中央　 請求記号：/5355/4491/94　 資料コード：1127470421）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1102074843

ページの先頭へ