現在在庫切れです。
この商品の再入荷予定は立っておりません。
この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。

Predicate Calculus and Program Semantics (Monographs in Computer Science) (英語) ハードカバー – 1990/1/1


その他(3)の形式およびエディションを表示する 他のフォーマットおよびエディションを非表示にする
価格
新品 中古品
ハードカバー
¥ 19,512 ¥ 17,327
ハードカバー, 1990/1/1
click to open popover

キャンペーンおよび追加情報

Kindle 端末は必要ありません。無料 Kindle アプリのいずれかをダウンロードすると、スマートフォン、タブレットPCで Kindle 本をお読みいただけます。

  • Apple
  • Android
  • Android

無料アプリを入手するには、Eメールアドレスを入力してください。


商品の説明

内容紹介

This text gives a self-contained foundation of predicate transformer semantics by making extensive use of the predicate calculus. The semantics of the repetitive construct is defined in terms of weakest and strongest solutions in terms of the weakest precondition and the weakest liberal precondition, the notion of determinacy is defined it is shown how to cope unbounded nondeterminacy without using transfinite induction.


登録情報

  • ハードカバー: 231ページ
  • 出版社: Springer-Verlag Berlin and Heidelberg GmbH & Co. K (1990/1/1)
  • 言語: 英語
  • ISBN-10: 3540969578
  • ISBN-13: 978-3540969570
  • 発売日: 1990/1/1
  • おすすめ度: この商品の最初のレビューを書き込んでください。
  • Amazon 売れ筋ランキング: 洋書 - 2,685,338位 (洋書の売れ筋ランキングを見る)
  • さらに安い価格について知らせる
    この商品を出品する場合、出品者サポートを通じて更新を提案したいですか?


まだカスタマーレビューはありません


この商品をレビュー

他のお客様にも意見を伝えましょう