• 1 件中、 1 件目

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

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

https://www2.tosyo-saga.jp/kentosyo2/opac/switch-detail.do?bibid=1102501461

• • 予約かごへ
• • 本棚へ

所蔵

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

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
県立（本館）	公開閲覧	/007.6/W77/	116443979	一般図書	利用可	在架

ページの先頭へ

資料詳細

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

ページの先頭へ

所蔵場所が「大和書庫」（所蔵場所の名称が、「大和講堂」、「大和研修」、
「大和新１」、「大和新２」、「大和新３」）の本については、遠方に保管
しているため、お取り寄せに１０日程度かかる場合がありますので、
ご了承ください。（貸出中の場合は、返却後となります。）
なお、「大和書庫」の本は、あらかじめ予約をお願いいたします。

状態が「市町巡回貸出」の本については、市町図書館支援のため優先貸出中です。
当館での提供開始までに最長3か月程度かかりますので、ご了承ください。