画像クリックで拡大できます
この商品も注目されています
![Archicad 26ではじめるBIM設計入門[企画設計編]](https://static.mercdn.net/item/detail/orig/photos/m21819068791_1.jpg)
![楽しいプログラミング[増補改訂新版]](https://static.mercdn.net/item/detail/orig/photos/m21809707208_1.jpg)
プログラミング言語の形式的意味論入門
匿名配送
-
- 現在
- 1,793円 （税 0 円）
-
2人が登録
- 送料
-
東京都は 18円 （税込）（離島を除く）
- 配送方法
- おてがる配送宅急便 配送方法一覧
or30ottobre.it初めての方は ログインすると-
-
ご利用例※一部のカテゴリはPayPayを利用できません
-
- 落札価格
- 3,500円
- 入会特典
- -3,000円
-
- 入会特典利用後の合計金額
- 500円
※1 出金・譲渡不可。PayPay/PayPayカード公式ストアでも利用可能 ※2 対象ページからの入会要。PayPayカード（旧ヤフーカード）、PayPayカード ゴールド会員（切替も含む）、退会済の方は対象外 PayPayカードを申し込む
-
本人確認前 商品説明
支払い、配送
支払い方法
- or30ottobre.itかんたん決済
- PayPay残高等
- PayPayクレジット
- クレジットカード
- PayPay銀行支払い
- 銀行振込（振込先：PayPay銀行）
- コンビニ支払い
配送方法と送料
- 送料負担
- 落札者
- 配送情報
-
- 発送元
- 東京都
- 発送開始
- 支払い手続きから1～3日で発送
- 海外発送
- 対応しません
- 送料
- 東京都は1,280円（税込）（離島を除く） 詳細
特に目立つ傷や汚れ、書き込みなどはありません。
「プログラミング言語の形式的意味論入門」
G.ウィンスケル / 末永 幸平 / 末永 幸平 / 勝股 審也 / 中澤 巧爾 / 西村 進 / 前田 敦司
定価: ￥ 4950
#Gウィンスケル #G_ウィンスケル #末永幸平 #末永_幸平 #末永幸平 #末永_幸平 #勝股審也 #勝股_審也 #中澤巧爾 #中澤_巧爾 #西村進 #西村_進 #前田敦司 #前田_敦司 #本 #コンピュータ／コンピュータ
プログラミング言語の（形式的）意味論とは、プログラムの動作を数学によって厳密に定義し、その性質について議論するための枠組みのことである。プログラムを数学の俎上に載せることにより、プログラムやプログラミング言語を厳密に理解し、解析し、これらについて推論することができるようになる。この分野は近年実用化に向けて進んでいる形式手法の礎となり、またそれ自体、様々な数学概念が飛び交う興味深い一分野を形成してきた。
本書は、Winskelによるプログラミング言語意味論の世界的標準教科書の邦訳である。前提知識をできるだけ少なくしつつ、プログラムの意味を数学的に定義・議論するための手法が解説されている。本書により、プログラミング言語理論関係の専門的な文献を読むための基礎を学ぶことができる。本書で身につけた基礎知識は、プログラミング言語研究の成果を理解し応用するために役立つはずである。
商品の情報