Constructive Logics for Program Correctness [単行本]

販売休止中です

    • Constructive Logics for Program Correctness [単行本]

    • ￥3,850116 ゴールドポイント（3％還元）
Constructive Logics for Program Correctness [単行本]
100000009001730316

Constructive Logics for Program Correctness [単行本]

価格：￥3,850（税込）
ゴールドポイント：116 ゴールドポイント（3％還元）（￥116相当）
日本全国配達料金無料
出版社：丸善プラネット
販売開始日： 2012/12/01
お取り扱い： のお取り扱い商品です。
ご確認事項：返品不可

  • 販売休止中です

お気に入りに登録する

Constructive Logics for Program Correctness の 商品概要

  • 目次(「BOOK」データベースより）

    １　Ｐｒｏｇｒａｍ　Ｃｏｒｒｅｃｔｎｅｓｓ　Ｆｏｒｍｕｌａｅ　ａｎｄ　Ｔｈｅｉｒ　Ｂａｓｉｃ　Ｐｒｏｐｅｒｔｉｅｓ（Ｎｏｔｉｏｎｓ　ｏｆ　Ｐｒｏｇｒａｍ　Ｃｏｒｒｅｃｔｎｅｓｓ
    Ｐｒｏｐｅｒｔｉｅｓ　ｏｆ　Ｃｏｒｒｅｃｔｎｅｓｓ　Ｆｏｒｍｕｌａｅ　ｓｐ（Ｓ，Ｑ）ａｎｄ　ｖｐ（Ｓ，Ｑ））
    ２　Ｌｏｇｉｃｓ　ｆｏｒ　Ｐｒｏｇｒａｍ　Ｃｏｒｒｅｃｔｎｅｓｓ　ｉｎ　Ｃｌａｓｓｉｃａｌ　Ｌｏｇｉｃ　Ｆｒａｍｅｗｏｒｋ（ＪＴｓｐ：Ｌｏｇｉｃ　ｆｏｒ　Ｓｔｒｏｎｇ　Ｃｏｒｒｅｃｔｎｅｓｓ　ｏｆ　Ｐｒｏｃｅｄｕｒａｌ　Ｐｒｏｇｒａｍｓ
    ＪＴｚｐ：Ｌｏｇｉｃ　ｆｏｒ　Ｓｔｒｏｎｇ　Ｃｏｒｒｅｃｔｎｅｓｓ　ｏｆ　Ｆｕｎｃｔｉｏｎａｌ　Ｐｒｏｇｒａｍｓ　ほか）
    ３　Ｆｕｌｌｙ　Ｃｏｎｓｔｒｕｃｔｉｖｅ　Ｌｏｇｉｃｓ　ｆｏｒ　Ｐｒｏｇｒａｍ　Ｃｏｒｒｅｃｔｎｅｓｓ　ａｎｄ　Ｐｒｏｂｌｅｍ　Ｓｐｅｃｉｆｉｃａｔｉｏｎ　Ｌｏｇｉｃ（Ｆｕｌｌｙ　Ｃｏｎｓｔｒｕｃｔｉｖｅ　Ｌｏｇｉｃ　ｏｎ　ｓｐ（Ｓ，Ｑ）ａｎｄ　ＰＳ　ｌｏｇｉｃ
    Ｆｕｌｌｙ　Ｃｏｎｓｔｒｕｃｔｉｖｅ　Ｌｏｇｉｃ　ｏｎ　ｚｐ（ＦＤ，Ｑ）ａｎｄ　ＰＳ　ｌｏｇｉｃ）
    ４　Ｃｏｒｒｅｃｔｎｅｓｓ　ｏｆ　Ｓｔｒｅａｍ　Ｐｒｏｇｒａｍｓ　ａｎｄ　Ｃｏｎｓｔｒｕｃｔｉｖｅ　Ｓｅｍａｎｔｉｃｓ（Ｃｏｒｒｅｃｔｎｅｓｓ　ｏｆ　Ｓｔｒｅａｍ　Ｐｒｏｇｒａｍｓ
    Ｐｒｏｇｒａｍ　Ｃｏｒｒｅｃｔｎｅｓｓ　ａｎｄ　Ｃｏｎｓｔｒｕｃｔｉｖｅ　Ｉｄｅｎｔｉｔｙ　ｆｏｒ　Ｐｒｏｇｒａｍｓ　ほか）

Constructive Logics for Program Correctness の商品スペック

商品仕様
出版社名：丸善プラネット
著者名：Ito Takayasu（著）
発行年月日：2012/12
ISBN-10：4863451466
ISBN-13：9784863451469
判型：B5
発売社名：丸善出版
対象：専門
発行形態：単行本
内容：情報科学
ページ数：304ページ
縦：26cm
その他:本文:英文
他の丸善プラネットの書籍を探す

    丸善プラネット Constructive Logics for Program Correctness [単行本] に関するレビューとＱ＆Ａ

    商品に関するご意見やご感想、購入者への質問をお待ちしています！