来間啓伸の作品一覧
「来間啓伸」の新着作品・人気作品や、最新のユーザーレビューをお届けします！
- 作者をフォローする
- フォローするとこの作者の新刊が配信された際に、お知らせします。
作品一覧
2018/04/21更新
ユーザーレビュー
-
抽象機械、変数の宣言、不変条件の宣言、変数の初期化、操作の定義、一般化代入の紹介がある。
抽象機械の整合性の検証として、最弱事前条件、不変条件の無矛盾性、初期化の整合性について説明がある。
集合論的に厳密に記述していくのがミソのようです。
Refinementという段階的詳細化をしていって実装...続きを読むPosted by ブクログ
