感染拡大防止のため、本を読む前、読んだ後は手を洗いましょう。みなさまのご協力をお願いします。

本のないよう

一般和書
ログインすると許諾を得た一部の
表紙画像をご覧になれます
  • 本のくわしいないようです。 この本は、今 0 人がよやくしています。
  • ・この本をよやくをするときは、「よやくカートに入れる」ボタンをクリックしてください。よやくするには、図書館がはっこうしたパスワードが必要です。
    ・「よやくカートに入れる」ボタンが出ないものはインターネットからよやくできません。

ぞうしょじょうほう

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

本のかず 1 ざいこのかず 1 よやくのかず 0

しょしじょうほうサマリ

本のだいめい

プログラミング言語Turing　言語仕様の基礎理論と設計技法

書いた人の名前 R・C・ホルト／[ほか]著 湯浅太一／監訳
しゅっぱんしゃ 啓学出版
しゅっぱんねんげつ 1990.08
本のきごう 0076/02156/

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

とうろくするほんだなログインすると、マイほんだながりようできます。

本のばしょ

各蔵書資料に関する詳細情報です。

No. としょかん 本のばんごう 本のしゅるい 本のばしょ くわしいばしょ せいげん じょうたい
1 鶴舞0233881366一般和書２階書庫　在庫 

かんれんしりょう

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

しょししょうさい

この資料の書誌詳細情報です。

本のきごう 0076/02156/
本のだいめい プログラミング言語Turing　言語仕様の基礎理論と設計技法
書いた人の名前 R・C・ホルト／[ほか]著 　 湯浅太一／監訳
しゅっぱんしゃ 啓学出版
しゅっぱんねんげつ 1990.08
ページすう 321p
おおきさ 22cm
ISBN 4-7665-1075-5
ちゅうき 訳:松田元彦ほか
はじめのだいめい The Turing programming language
ぶんるい 00764
いっぱんけんめい プログラミング(コンピュータ)
本のしゅるい 一般和書
ないようちゅうき 文献:p309〜313
タイトルコード 1009911003992

ようし 本書は、Ｔｕｒｉｎｇとよばれるプログラミング言語を紹介するとともに、プログラミング言語をいかに定義すべきかということを、Ｔｕｒｉｎｇ言語をモデル・ケースとして解説するものである。プログラミング言語設計、仕様記述法、形式的プログラム開発などに興味を持つ学生、研究者のためにも役立つ書である。
もくじ Ｔｕｒｉｎｇ言語の設計目標
Ｔｕｒｉｎｇ言語の特色
Ｔｕｒｉｎｇレポート
Ｔｕｒｉｎｇの形式的定義の概要
字句構造
Ｔｕｒｉｎｇの文脈自由文法
文脈条件―Ｔｕｒｉｎｇプログラムの静的正当性
形式的意味―Ｔｕｒｉｎｇのプログラムの意味
付録（Ｔｕｒｉｎｇ言語の精神
字句の列に関する一定理
拡張文脈自由文法の標準的な記法への変換
Ｔｕｒｉｎｇの抽象的文脈自由文法
基本文の形式的な操作的意味
入手可能なＴｕｒｉｎｇの処理系）


ないよう細目表：

前のページへ
ページのせんとうへ トップページへ

本文はここまでです。

ページの終わりです。