プログラミング言語の形式的意味論入門
| 出版社名 | 丸善出版 |
|---|---|
| 出版年月 | 2023年1月 |
| ISBNコード |
978-4-621-30763-2
（4-621-30763-0） |
| 税込価格 | 4,950円 |
| 頁数・縦 | ３０１Ｐ ２１ｃｍ |
商品内容
| 要旨 |
本書は、Ｗｉｎｓｋｅｌによるプログラミング言語意味論の世界的標準教科書の邦訳である。前提知識をできるだけ少なくしつつ、プログラムの意味を数学的に定義・議論するための手法が解説されている。本書により、プログラミング言語理論関係の専門的な文献を読むための基礎を学ぶことができる。本書で身につけた基礎知識は、プログラミング言語研究の成果を理解し応用するために役立つはずである。 |
|---|---|
| 目次 |
集合論の基礎 |