プログラミング言語の形式的意味論入門 / Ｇ．ウィンスケル　著

本書ではプログラミング言語を形式化し、その性質に関して形式的に論ずるための、数学的な背景知識や数理論理学の手法を解説する。<br>Ｇ．ウィンスケル　著
丸善
2023年01月
プログラミング　ゲンゴ　ノ　ケイシキテキ　イミロン　ニユウモン
Ｇ　ウインスケル
/