プログラミング言語の形式的意味論入門
by G.ウィンスケル
プログラミング言語の意味を形式的に捉えるための入門書です。数学的な視点からプログラムの意味論を学びたい方、計算機科学やプログラミング言語理論の基礎を深めたい方に向けた一冊です。
About This Book
『プログラミング言語の形式的意味論入門』は、プログラミング言語の形式的意味論を学ぶための入門書です。
プログラムや言語の意味を、形式的かつ数学的な観点から理解したい読者に向けた内容です。
プログラミング言語の理論、計算機科学、数学的な考え方に関心のある方の学習に適しています。
G.ウィンスケルによる、形式的意味論への導入として読める一冊です。
Reviews
No reviews yet. Be the first to review this book!