資料詳細

  • 1 件中、 1 件目

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

G.ウィンスケル／著 -- 丸善出版 -- 2023.1 --

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
本館(和歌山市) 閲覧室 /007.64/ｳｲ/ 324681329 一般 在庫

ページの先頭へ

資料詳細

タイトル プログラミング言語の形式的意味論入門 
言語 日本語
著者 G.ウィンスケル ／著, 末永 幸平 ／監訳, 勝股 審也 ／訳, 中澤 巧爾 ／訳, 西村 進 ／訳, 前田 敦司 ／訳  
出版者 丸善出版
出版年 2023.1
ページ数 9,301p
大きさ 21cm
一般件名 プログラミング(コンピュータ)
内容紹介 プログラミング言語意味論の世界的標準教科書を邦訳。プログラミング言語理論関係の専門的な文献を読むための基礎が学べるよう、プログラムの意味を数学的に定義・議論するための手法を解説する。
ISBN 4-621-30763-2
ISBN13桁 978-4-621-30763-2

ページの先頭へ