プログラミング言語の形式的意味論入門/G．ウィンスケル/末永幸平/勝股審也

4,950

販売サイトへ移動
著:G．ウィンスケル　監訳:末永幸平　ほか訳:勝股審也
出版社:丸善出版
発売日:2023年01月
キーワード:プログラミング言語の形式的意味論入門G．ウィンスケル末永幸平勝股審也 ぷろぐらみんぐげんごのけいしきてきいみろんにゆうも プログラミングゲンゴノケイシキテキイミロンニユウモ ういんすける Ｇ． ＷＩＮＳＫ ウインスケル Ｇ． ＷＩＮＳＫ
関連商品リンク

内容紹介
本書は、Winskelによるプログラミング言語意味論の世界的標準教科書の邦訳である。前提知識をできるだけ少なくしつつ、プログラムの意味を数学的に定義・議論するための手法が解説されている。本書により、プログラミング言語理論関係の専門的な文献を読むための基礎を学ぶことができる。本書で身につけた基礎知識は、プログラミング言語研究の成果を理解し応用するために役立つはずである。

※本データはこの商品が発売された時点の情報です。

販売サイトへ移動