資料詳細

  • 1 件中、 1 件目

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

G.ウィンスケル／著,末永 幸平／監訳,勝股 審也／訳,中澤 巧爾／訳,西村 進／訳,前田 敦司／訳 -- 丸善出版 -- 2023.1 -- 007.64

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 貸出区分 状態 備考
仮設ビジ  007.64-ウグ-2023 5106510885 一般 　 利用可 iLisvirtual

ページの先頭へ

資料詳細

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

ページの先頭へ