“伊藤 貴康”の紙の本一覧
“伊藤 貴康”に関連する紙の本を7件掲載しています。1 ～ 7 件目をご紹介します。
Ｃｏｎｓｔｒｕｃｔｉｖｅ Ｔｈｅｏｒｙ ｆｏｒ Ｐｒｏｇｒａｍｓ ａｎｄ Ｔｈｅｉｒ Ｃｏｒｒｅｃｔｎｅｓｓ
- 税込価格：1,466円
- 出版社：三恵社
- 発行年月：２０１１．１１
- 発送可能日：要確認
- プログラムの強正当性のための構成的論理と構成的意味論についての研究書。実行が停止しないプログラムであるＳｔｒｅａｍ Ｐｒｏｇｒａｍの強正当性を論じる方法も紹介する。【「TRC MARC」の商品解説】
Ｃｏｎｓｔｒｕｃｔｉｖｅ Ｌｏｇｉｃｓ ｆｏｒ Ｐｒｏｇｒａｍ Ｃｏｒｒｅｃｔｎｅｓｓ ａｎｄ Ｖｅｒｉｆｉｃａｔｉｏｎ Ｒｅｖｉｓｅｄ Ｅｄｉｔｉｏｎ
- 税込価格：1,980円
- 出版社：三恵社
- 発行年月：２０１１．４
- 発送可能日：要確認
- 手続き型言語ｍＰＬと関数型言語ｍＦＬを取り上げ、これらで書かれたプログラムの正しさを検討する。また、構成的論理であるＦＣｓｐとＦＣｚｐだけでなくＰＳ論理についても紹介する。【「TRC MARC」の商品解説】
Ｃｏｎｓｔｒｕｃｔｉｖｅ Ｌｏｇｉｃｓ ｆｏｒ Ｐｒｏｇｒａｍ Ｃｏｒｒｅｃｔｎｅｓｓ
- 税込価格：3,850円
- 出版社：丸善プラネット
- 発行年月：ｃ２０１２
- 発送可能日：要確認
- プログラムの正当性は、プログラムに関する理論だけでなく、コンピューター・ソフトウェアに関する理論および実践においても基本かつ重要な概念のうちの１つである。プログラムの正当性のための構成的論理について解説する。【「TRC MARC」の商品解説】
Ｍａｔｈｅｍａｔｉｃａｌ Ｔｈｅｏｒｙ ｏｆ Ｐｒｏｇｒａｍｓ
- 税込価格：2,750円
- 出版社：三恵社
- 発行年月：２０１０．１０
- 発送可能日：要確認
- 著者が東北大学で行った講義やセミナー、最新の研究論文を基に、手続き型プログラムや関数型プログラムなどのモデルを対象にプログラム理論について論述する。【「TRC MARC」の商品解説】
ソフトウェア工学基礎論
- 税込価格：2,530円
- 出版社：丸善
- 発行年月：１９８１．３
- 発送可能日：要確認
| 検索結果 7 件中 1 件～ 7 件を表示 |
- 予約購入について
-
- 「予約購入する」をクリックすると予約が完了します。
- ご予約いただいた商品は発売日にダウンロード可能となります。
- ご購入金額は、発売日にお客様のクレジットカードにご請求されます。
- 商品の発売日は変更となる可能性がございますので、予めご了承ください。
