2024/11/25
書誌情報
| 資料の種別｡ |
図書｡
 資料情報のコピー
|
| 書名｡ |
プログラミング言語の形式的意味論入門(プログラミング/ゲンゴ/ノ/ケイシキテキ/イミロン/ニュウモン)｡
|
| 著者名等｡ |
G.ウィンスケル‖著(ウィンスケル,G.)｡
|
| 末永/幸平‖監訳(スエナガ,コウヘイ)｡
|
| 勝股/審也‖訳(カツマタ,シンヤ)｡
|
| 中澤/巧爾‖訳(ナカザワ,コウジ)｡
|
| 西村/進‖訳(ニシムラ,ススム)｡
|
| 前田/敦司‖訳(マエダ,アツシ)｡
|
| 出版者｡ |
丸善出版／東京｡
|
| 出版年｡ |
2023.1｡
|
| ページと大きさ｡ |
9,301p／21cm｡
|
| 件名｡ |
プログラミング(コンピュータ)｡
|
| 分類｡ |
NDC9 版：007.64｡
|
| ISBN｡ |
978-4-621-30763-2｡
|
| 価格｡ |
¥4500｡
|
| 書誌番号｡ |
1001956754｡
|
| 内容紹介｡ |
プログラミング言語意味論の世界的標準教科書を邦訳。プログラミング言語理論関係の専門的な文献を読むための基礎が学べるよう、プログラムの意味を数学的に定義・議論するための手法を解説する。｡
|
| 所蔵数｡ |
館内でのみ利用可能な資料｡ |
貸出可能な資料｡ |
貸出中の資料｡ |
予約数｡ |
- 所蔵数
- 1 冊
|
- 館内でのみ利用可能な資料
- 0 冊
|
- 貸出可能な資料｡
- 1 冊
|
- 貸出中の資料
- 0 冊
|
- 予約数
- 0 件
|
| 番号｡ |
資料番号｡ |
配架場所（配架案内）｡ |
請求記号｡ |
状態｡ |
| 1｡ |
- 資料番号：
- 009304635｡
|
- 配架場所：
- ２階人文と社会のフロア２階人文と社会のフロア（お探しの資料は２階人文と社会のフロアにあります。おわかりにならない時は、職員におたずね下さい。）｡
|
- 請求記号：
- 007.64/Q 3｡
|
- 状態：
- 貸出可｡
|
このページのURL：http://library.pref.yamaguchi.lg.jp/wo/opc_srh/srh_detail/1001956754
