丸善のおすすめ度
プログラム意味論の基礎(ライブラリ情報学コア・テキスト 11)
小林 直樹,
住井 英二郎
著
発行年月 |
2020年08月 |
---|
|
|
言語 |
日本語 |
---|
媒体 |
冊子 |
---|
|
|
ページ数/巻数 |
6p,115p |
---|
大きさ |
21cm |
---|
|
ジャンル |
和書/理工学/情報学/プログラミング |
---|
|
|
ISBN |
9784781914831 |
---|
|
商品コード |
1031887006 |
---|
NDC分類 |
007.64 |
---|
|
|
本の性格 |
テキスト |
---|
|
新刊案内掲載月 |
2020年09月3週 |
---|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1031887006 |
---|
内容
本書はプログラム意味論を初めて学ぶ学生のための入門書である.本書で扱う意味論はプログラムに対して数学的な意味を与えることにより,プログラムの動作についての厳密な議論を可能にする.適宜演習問題を配置するなどわかりやすく工夫された教科・参考書.