図書

プログラミング言語の基礎理論 新装版

Icons representing 図書
The cover of this title could differ from library to library. Link to Help Page

プログラミング言語の基礎理論

新装版

Call No. (NDL)
M159-M161
Bibliographic ID of National Diet Library
029842615
Material type
図書
Author
大堀淳 著
Publisher
共立出版
Publication date
2019.8
Material Format
Paper
Capacity, size, etc.
272p ; 21cm
NDC
007.64
View All

Detailed bibliographic record

Summary, etc.：

高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳説。読者の要望を受け，『情報数学講座９』を装い新たに発行した。(Provided by: 出版情報登録センター（JPRO）)

Search by Bookstore

Search by Bookstore

Table of Contents

  • 第1章　プログラミング言語のモデル

  • 1.1　計算モデルの必要性

  • 1.2　本書で使用する集合に関する記法

  • 1.3　言語の文法構造の定義

  • 1.4　型無しラムダ計算

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

Kinki

Chugoku

  • 岡山県立図書館

    Paper
    Call No.：
    007.64/ｵｵ19/
    Book Registration Number：
    0015010390
    岡山県立図書館

Shikoku

Kyushu

Search by Bookstore

Publication bibliographic database Books Find a bookstore where you can purchase books from

Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISBN
978-4-320-12450-9
Title
プログラミング言語の基礎理論
Title Transcription
プログラミング ゲンゴ ノ キソ リロン
Author/Editor
大堀淳 著
Edition
新装版
Author Heading
大堀, 淳, 1957- オオホリ, アツシ, 1957- ( 00540736 )Authorities
Publication, Distribution, etc.
東京 : 共立出版
Publication Date
2019.8
Publication Date (W3CDTF)
2019