HOME

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

商品説明・詳細
送料・お届け

商品情報

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

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

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

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

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

商品の情報

カテゴリー:	本・雑誌・漫画>>>本>>>コンピュータ・IT
商品の状態:	目立った傷や汚れなし

残り 1 点 2324円

（23 ポイント還元！）

翌日お届け可（営業日のみ） ※一部地域を除く

お届け日: 2025.01.14〜指定可お届け日: (明日12:00のご注文まで)

ラッピング

必須プレゼント用ギフトラッピング

希望しない

希望する ( +600円 )

希望しない

数量

同時に5点までのご購入が可能です。

お気に入りに保存

対応決済方法

クレジットカード
コンビニ前払い決済
代金引換: 商品到着と引き換えにお支払いいただけます。 (送料を含む合計金額が￥299,000 まで対応可能)
ペイジー前払い決済(ATM/ネットバンキング): 以下の金融機関のATM/ネットバンクからお支払い頂けます
みずほ銀行、三菱ＵＦＪ銀行、三井住友銀行
りそな銀行、ゆうちょ銀行、各地方銀行
Amazon Pay(Amazonアカウントでお支払い)