書誌情報サマリ
書名 |
プログラミング言語の形式的意味論入門
|
著者名 |
G.ウィンスケル/著
|
著者名ヨミ |
G ウィンスケル |
出版者 |
丸善出版
|
出版年月 |
2023.1 |
蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
書誌詳細
この資料の書誌詳細情報です。
タイトルコード |
1000050562205 |
書誌種別 |
図書 |
書名 |
プログラミング言語の形式的意味論入門 |
書名ヨミ |
プログラミング ゲンゴ ノ ケイシキテキ イミロン ニュウモン |
著者名 |
G.ウィンスケル/著
末永 幸平/監訳
勝股 審也/訳
中澤 巧爾/訳
西村 進/訳
前田 敦司/訳
|
著者名ヨミ |
G ウィンスケル スエナガ コウヘイ カツマタ シンヤ ナカザワ コウジ ニシムラ ススム マエダ アツシ |
出版者 |
丸善出版
|
出版年月 |
2023.1 |
ページ数・枚数 |
9,301p |
大きさ・形態 |
21cm |
ISBN |
978-4-621-30763-2 |
分類記号 |
007.64
|
内容紹介 |
プログラミング言語意味論の世界的標準教科書を邦訳。プログラミング言語理論関係の専門的な文献を読むための基礎が学べるよう、プログラムの意味を数学的に定義・議論するための手法を解説する。 |
件名1 |
プログラミング(コンピュータ)
|
目次
内容細目
資料情報
各蔵書資料に関する詳細情報です。
No. |
所蔵館 |
資料番号 |
請求記号 |
資料種別 |
配架場所 |
帯出区分 |
状態 |
貸出
|
1 |
中央 | 0114436632 | 007.64// | 図書一般 | 開架 | 貸出可 | 在庫 |
○ |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
わかりやすい賃貸住宅 : 見る+読…
吉田 杉明/著,…
わかりやすい相続 : 見る+読む=…
吉田 杉明/著,…
わかりやすい訴訟のしくみ : 見る…
石原 豊昭/著,…
わかりやすい交通事故 : 見る+読…
吉田 杉明/著,…
ハモニカ文庫と詩の漫画
山川 直人/著
わかりやすい借地 : 見る+読む=…
金澤 均/監修,…
わかりやすい借家 : 見る+読む=…
吉田 杉明/著,…
わかりやすい離婚 : 見る+読む=…
梅田 幸子/著,…
わかりやすい交通事故 : 見る+読…
吉田 杉明/著,…
わかりやすい借地 : 見る+読む=…
金澤 均/監修,…
わかりやすい訴訟のしくみ : 見る…
石原 豊昭/著,…
わかりやすい自己破産 : 見る+読…
宇都宮 健児/著…
わかりやすい借家 : 見る+読む=…
吉田 杉明/著,…
わかりやすい借地 : 見る+読む=…
金澤 均/監修,…
わかりやすい相続 : 見る+読む=…
吉田 杉明/著,…
わかりやすい年金 : 見る・読む・…
服部 営造/著,…
わかりやすい借家 : 見る・読む・…
吉田 杉明/著,…
わかりやすい相続 : 見る・読む・…
吉田 杉明/著,…
明解!憲法判例 : これならわかる…
三木 邦裕/著,…
わかりやすい年金 : 見る・読む・…
服部 営造/著,…
わかりやすい交通事故 : 見る・読…
吉田 杉明/著,…
わかりやすい自己破産 : 見る・読…
宇都宮 健児/著…
わかりやすい借家 : 見る・読む・…
吉田 杉明/著,…
わかりやすい年金 : 見る・読む・…
服部 営造/著,…
わかりやすい借地 : 見る・読む・…
金澤 均/監修,…
わかりやすい離婚 : 見る・読む・…
平山 信一/著,…
わかりやすい自己破産 : 見る・読…
宇都宮 健児/著…
わかりやすい相続 : 見る・読む・…
吉田 杉明/著,…
わかりやすい年金 : 見る・読む・…
服部 営造/著,…
わかりやすい年金 : 見る・読む・…
服部 営造/著,…
わかりやすい訴訟のしくみ : 見る…
石原 豊昭/著,…
わかりやすい相続 : 見る・読む・…
吉田 杉明/著,…
わかりやすい自己破産 : 見る・読…
宇都宮 健児/著…
わかりやすい訴訟のしくみ : 見る…
石原 豊昭/著,…
わかりやすい交通事故 : 見る・読…
吉田 杉明/著,…
前へ
次へ
前のページへ