Predicate Calculus and Program Semantics

￥19,390
+ 配送料￥1,449

Predicate Calculus and Program Semantics

  • ブランド: Unbranded
  • product image

Predicate Calculus and Program Semantics

  • ブランド: Unbranded
価格： ￥19,390
販売元:
￥19,390
+ 配送料￥1,449

在庫あり

14日間返品ポリシー

支払い方法:

説明

Predicate Calculus and Program Semantics

1. On structures. - 2. On substitution and replacement. - 3. On functions and equality. - 4. On our proof format. - 5. The calculus of boolean structures. - 6. Some properties of predicate transformers. - 7. Semantics of straight-line programs. - 8. Equations in predicates and their extreme solutions. - 9. Semantics of repetitions. - 10. Operational considerations. - 11. Converse predicate transformers. - 12. The strongest postcondition. Language: English
  • ブランド: Unbranded
  • カテゴリー: コンピューター、インターネット
  • フォーマット: Paperback
  • 刊行日: 2011/09/26
  • アーティスト: Edsger W. Dijkstra
  • ページ数: 220
  • 言語: English
  • 出版社 / レコード会社: Springer
  • Fruugo ID: 337882985-741542272
  • ISBN: 9781461279242

配送と返品

5日間以内に発送

  • STANDARD: ￥1,449 - 間の配達 金 02 1月 2026–水 07 1月 2026

イギリスより発送。

ご注文の商品は、お客様の仕様に従い、万全の状態で配送されるように最善を尽くしています。しかし、もし注文に抜けがあったり、注文したものと違う商品が届いたり、注文に満足できないその他の理由がある場合は、注文全体やその中のいずれかの商品を返品し、その全額の返金を受けることができます。 全額返金ポリシーを見る