アイテム詳細
近代科学社
グループ：Book
ランキング：26016
価格：￥ 3,780
ポイント：37 pt
発売日：2007-12
通常24時間以内に発送
このページのURLは
http://www.shikencho.com/shop/asin/Books/4764903474/
この商品を買った人はこんな商品も買っています。
ソフトウェア科学基礎―最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座 (1))
カスタマーレビュー 
抽象機械をかける （2008-06-10）
抽象機械、変数の宣言、不変条件の宣言、変数の初期化、操作の定義、一般化代入の紹介がある。
抽象機械の整合性の検証として、最弱事前条件、不変条件の無矛盾性、初期化の整合性について説明がある。
Refinementという段階的詳細化については、まだ理解できなかったので、理解できたら書き直します。
