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

• タイトルヨミ: プログラミングゲンゴノケイシキテキイミロンニュウモン
• 著編者等／著者名等: G.ウィンスケル‖著 末永幸平‖監訳 勝股審也‖訳 中澤巧爾‖訳 西村進‖訳 前田敦司‖訳
• 統一著者名ヨミ: Winskel Glynn
• 統一著者名: 末永幸平 勝股審也 中澤巧爾 西村進 前田敦司
• 著編者等ヨミ／著者名等ヨミ: ウィンスケルG. スエナガコウヘイ カツマタシンヤ ナカザワコウジ ニシムラススム マエダアツシ
• 出版者: 丸善出版
• 出版地: 東京
• 出版年: 2023.1
• 大きさ: 9,301p
• 件名: プログラミング(コンピュータ)
• 分類: 007.64,007.64,
• ISBN: 978-4-621-30763-2
• マークNo: TRC23003515
• タイトルコード: 1000001567099
• 資料番号: 010621019
• 請求記号: 007.64/ｳｲ ﾌ
• 一般注記: 原タイトル：The formal semantics of programming languages
• 内容紹介: プログラミング言語意味論の世界的標準教科書を邦訳。プログラミング言語理論関係の専門的な文献を読むための基礎が学べるよう、プログラムの意味を数学的に定義・議論するための手法を解説する。
• 種別: 図書
• 配架場所: 03100