オークション落札商品中古

プログラミング言語の形式的意味論入門

この商品の詳細を見る

『プログラミング言語の形式的意味論入門』はセカイモンでdd24bae0から出品され、395の入札を集めて01月11日 16時 52分に、2324円で落札されました。即決価格は2324円でした。決済方法はに対応。山形県からの発送料は落札者が負担しました。ＰＲオプションはストア、取りナビ(ベータ版)を利用したオークション、即買でした。

この商品をお気に入りに登録
同じ商品を出品する

特に目立つ傷や汚れ、書き込みなどはありません。

「プログラミング言語の形式的意味論入門」
G.ウィンスケル / 末永幸平 / 末永幸平 / 勝股審也 / 中澤巧爾 / 西村進 / 前田敦司
定価: ￥ 4500+税10%

#Gウィンスケル #G_ウィンスケル #末永幸平 #末永_幸平 #末永幸平 #末永_幸平 #勝股審也 #勝股_審也 #中澤巧爾 #中澤_巧爾 #西村進 #西村_進 #前田敦司 #前田_敦司 #本 #コンピュータ／コンピュータ

プログラミング言語の（形式的）意味論とは、プログラムの動作を数学によって厳密に定義し、その性質について議論するための枠組みのことである。プログラムを数学の俎上に載せることにより、プログラムやプログラミング言語を厳密に理解し、解析し、これらについて推論することができるようになる。この分野は近年実用化に向けて進んでいる形式手法の礎となり、またそれ自体、様々な数学概念が飛び交う興味深い一分野を形成してきた。

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

商品の情報