お店のコメント(スペック情報を含む場合もあり)
Book Description
The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active research area. The world’s leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs. Surveys are given of results on refinement in partial-order based approaches to concurrency. A unified treatment is given of the assumption/commitment paradigm in compositional concurrent program specification and verification, and the extension of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications.
--このテキストは、絶版本またはこのタイトルには設定されていない版型に関連付けられています。
商品ジャンル
商品名
最終調査日時
2012/12/01 (Sat) 11:21:27
価格の変動(直近3回 : ¥0は未調査回)
取得日時
販売価格
ポイント
実質価格
在庫状態
2012/12/01 (Sat) 11:21:27
¥11,601
0 %
¥11,601
2012/01/02 (Mon) 02:55:44
¥9,708
0 %
¥9,708
2011/10/02 (Sun) 12:07:19
¥9,603
0 %
¥9,603
サイト内キーワード検索
商品名の検索は通常の商品検索ボックスで。
コメントやスペックなどから検索したい場合はこちらから。
コメントやスペックなどから検索したい場合はこちらから。
広告