検索結果資料の内容

図書
ログインすると表紙画像を
ご覧になれます
ご利用の地域の図書館が所蔵している場合、そちらの方が早く借りられることもあります。
また、ご利用の地域の図書館に申し込み、県立図書館の資料を取り寄せることもできます。
岡山県図書館横断検索

この資料の情報へのリンク：

蔵書情報

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

所蔵数 1 在庫数 1 予約数 0

資料の状態

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

No. 資料番号 資料種別 請求記号 配架場所 状態 貸出
1 0003247616図書一般007.64/ﾍﾈ94/書庫貸出可  ○

この資料に対する操作

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

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

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

書誌情報サマリ

タイトル

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

人名 M.ヘネシー／著
人名ヨミ M ヘネシー
出版者・発行者 サイエンス社
出版年月 1993.12

書誌詳細

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

書誌種別 図書
タイトル プログラミング言語の意味論入門
シリーズ名 Information & computing
シリーズ番号 76
タイトルヨミ プログラミング ゲンゴ ノ イミロン ニュウモン
シリーズ名ヨミ インフォメーション アンド コンピューティング
シリーズ番号ヨミ 76
人名 M.ヘネシー／著 　 荒木 啓二郎／共訳 　 程 京徳／共訳
人名ヨミ M ヘネシー　アラキ ケイジロウ　テイ ケイトク
出版者・発行者 サイエンス社
出版者・発行者等ヨミ サイエンスシャ
出版地・発行地 東京
出版・発行年月 1993.12
ページ数または枚数・巻数 184p
大きさ 21cm
価格 ￥２４００
ISBN 4-7819-0716-4
注記 原タイトル:The semantics of programming languages
分類記号 007.64
件名 プログラミング(コンピュータ)
内容紹介 プログラム言語の形式的意味論に関する日本語の適当な入門書がないので訳出したもの。読み通せばいつの間にかかなり多様な言語に対する操作意味論の基礎をいくつかの異なる抽象化のレベルで修得している。
言語区分 jpn
タイトルコード 1005010186083



目次


内容細目

関連資料

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

007.64　007.64
【ChatGPTで身につけるPyth…】 ChatGPTで身につけるPyth…
掌田 津耶乃／著 【C++ポケットリファレンス】 C++ポケットリファレンス
高橋 晶／著,安… 【MicroPythonプログラミン…】 MicroPythonプログラミン…
宮田 賢一／共著… 【シェルスクリプト基本リファレンス　…】 シェルスクリプト基本リファレンス　…
山森 丈範／著 【Azure OpenAI Serv…】 Azure OpenAI Serv…
増田 智明／著 【はじめてのアルゴリズム　：　論理的…】 はじめてのアルゴリズム　：　論理的…
島袋 舞子／著,… 【たった1秒で仕事が片づくExcel…】 たった1秒で仕事が片づくExcel…
吉田 拳／著 【3ステップでしっかり学ぶVisua…】 3ステップでしっかり学ぶVisua…
朝井 淳／著 【Excel VBA開発を超効率化す…】 Excel VBA開発を超効率化す…
深見 祐士／著,… 【でんしゃでおぼえる!はじめてのプロ…】 でんしゃでおぼえる!はじめてのプロ…
藤田 大介／著,… 【CODE　：　コードから見たコンピ…】 CODE　：　コードから見たコンピ…
チャールズ・ペゾ… 【Visual Studio Cod…】 Visual Studio Cod…
森下 篤／著 【Rustの練習帳　：　コマンドライ…】 Rustの練習帳　：　コマンドライ…
Ken Youe… 【Azure OpenAI Serv…】 Azure OpenAI Serv…
柿崎 裕也／著,… 【Pythonでデスクトップアプリを…】 Pythonでデスクトップアプリを…
中島 省吾／著 【プログラミングでなにができる?　：…】 プログラミングでなにができる?　：…
杉浦 学／著,阿… 【インタプリタの作り方　：　言語設計…】 インタプリタの作り方　：　言語設計…
Robert N… 【いきなりプログラミングAndroi…】 いきなりプログラミングAndroi…
Sara／著 【いちばんやさしいPython入門教…】 いちばんやさしいPython入門教…
大澤 文孝／著 【メディアのためのアルゴリズム　：　…】 メディアのためのアルゴリズム　：　…
藤澤 公也／共著… 【なっとく!関数型プログラミング　：…】 なっとく!関数型プログラミング　：…
Michał P… 【もっと実用的でないPythonプロ…】 もっと実用的でないPythonプロ…
Lee Vaug… 【マンガでわかる!プログラミング3】 マンガでわかる!プログラミング3
柳田 拓人／監修 【マンガでわかる!プログラミング2】 マンガでわかる!プログラミング2
柳田 拓人／監修 【マンガでわかる!プログラミング1】 マンガでわかる!プログラミング1
柳田 拓人／監修
プログラミング(コンピュータ)
もどる
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。