サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

送料無料 日付更新(2017年7月)

アウトレットブック ポイント2倍キャンペーン(~11/15)

目次

  • PART Ⅰ Program Correctness Formulae and Their Basic Properties
    • Chapter 1.Notions of Program Correctness
    • Chapter 2.Properties of Correctness Formulae sp(S,Q)and vp(S,Q)
  • PART Ⅱ Logics for Program Correctness in Classical Logic Framework
    • Chapter 3.JTsp:Logic for Strong Correctness of Procedural Programs
    • Chapter 4.JTzp:Logic for Strong Correctness of Functional Programs
    • Chapter 5.Relative Completeness Problem of Program Verification Systems
  • PART Ⅲ Fully Constructive Logics for Program Correctness and Problem Specification Logic
    • Chapter 6.Fully Constructive Logic on sp(S,Q)and PS logic
    • Chapter 7.Fully Constructive Logic on zp(FD,Q)and PS logic
  • PART Ⅳ Correctness of Stream Programs and Constructive Semantics
    • Chapter 8. Correctness of Stream Programs
    • Chapter 9.Program Correctness and Constructive Identity for Programs
    • Chapter 10.Constructive Semantics and Constructive Logic of Programs
  • APPENDIX Gentzen’s Logical Systems:LK,LJ and NJ
    • A.1.LK:Classical predicate calculus in Sequent Calculus
    • A.2.LJ:Intutionistic predicate logic in Sequent Calculus
    • A.3.NJ:Intuitionistic logic based on Natural Deduction

プログラミング言語 ランキング

プログラミング言語のランキングをご紹介します一覧を見る