Items related to Formal Methods for Open Object-Based Distributed Systems...
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... March 20-22, 2002, Enschede, The Netherlands - Softcover
Synopsis
Preface. I. Invited presentations. Software Model Checking: The Bandera approach; M. Dwyer. Verifying Authentication Protocol Implementations; S. Schneider. A Semantic Framework for Specifying and Reasoning about Composable Distributed Middelware Services; C. Talcott. II. Multiple Viewpoint Modelling. Formal Semantics for Interacting UML Subsystems; J. Jürjens. A Compositional Formalism for Object Viewpoints; E.B. Johnsen, O. Owe. Interpreting ODP Viewpoint Specification: Observations from a Case Study; C. Taylor, et al. III. Types,...
- PublisherSpringer
- Publication date2013
- ISBN 10 1475752679
- ISBN 13 9781475752670
- BindingPaperback
- LanguageEnglish
- Number of pages292
- EditorJacobs Bart, Rensink Arend
Other Popular Editions of the Same Title
Search results for Formal Methods for Open Object-Based Distributed Systems...
Stock Image
Formal Methods for Open Object-Based Distributed Systems V
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781475752670
Quantity: Over 20 available
Stock Image
Formal Methods for Open Object-Based Distributed Systems V
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781475752670
Quantity: Over 20 available
Stock Image
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... March 20-22, 2002, Enschede, The Netherlands
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781475752670_new
Quantity: Over 20 available