Frank S De Boer
Formal Methods for Components and Objects: 4th International Symposium, Fmco 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures - Lecture Notes in Computer Science Frank S De Boer

Name: Formal Methods for Components and Objects: 4th International Symposium, Fmco 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures - Lecture Notes in Computer Science
Price: 8520 JPY
Availability: OutOfStock
Author: Frank S De Boer

価格

¥ 8.520

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月2日 - 年11月12日

Frank S De Boer の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Formal Methods for Components and Objects: 4th International Symposium, Fmco 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures - Lecture Notes in Computer Science

Frank S De Boer

Presents revised invited keynote lectures and revised tutorial lectures given at the 4th International Symposium on Formal Methods for Components and Objects, FMCO 2005, Amsterdam, November 2005.

Marc Notes: Includes bibliographical references and index. Table of Contents: Component and Service Oriented Computing.- A Software Component Model and Its Preliminary Formalisation.- Synchronised Hyperedge Replacement as a Model for Service Oriented Computing.- System Design.- Control of Modular and Distributed Discrete-Event Systems.- Model-Based Security Engineering with UML: Introducing Security Aspects.- The Pragmatics of STAIRS.- Tools.- Smallfoot: Modular Automatic Assertion Checking with Separation Logic.- Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs.- Algebraic Methods.- Beyond Bisimulation: The up-to Techniques.- Separation Results Via Leader Election Problems.- Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation.- Model Checking.- Abstraction and Refinement in Model Checking.- Program Compatibility Approaches.- Cluster-Based LTL Model Checking of Large Systems.- Safety and Liveness in Concurrent Pointer Programs.- Assertional Methods.- Modular Specification of Encapsulated Object-Oriented Components.- Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2.- Boogie: A Modular Reusable Verifier for Object-Oriented Programs.- Quantitative Analysis.- On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages.- Partial Order Reduction for Markov Decision Processes: A Survey."Publisher Marketing: Presents revised invited keynote lectures and revised tutorial lectures given at the 4th International Symposium on Formal Methods for Components and Objects, FMCO 2005, Amsterdam, November 2005.

Contributor Bio: Graf, Susanne Graf, VERMIAG, Gieres, France.

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2006年8月10日
ISBN13	9783540367499
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	444
寸法	156 × 234 × 22 mm · 648 g
言語	ドイツ語