Items related to Formal Methods for Open Object-Based Distributed Systems:...
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... February 15-18, 1999, Florence, Italy - Softcover
Synopsis
Preface. Part 1: Languages. Piccola - A Small Compositional Language; O. Nierstrasz. An Algebra of Actors; M. Gaspari, G. Zavattaro. Developing Object-Based Distributed Systems; M. Bonsangue, et al. Part 2: Semantics I. Reasoning About Histories in Object-Based Distributed Systems; F.S. de Boer. Mobile Nets; N. Busi. Observation Equivalences for the Semantics of Inheritance; C. Balzarotti, et al. Part 3: Java and Coordination. Tools for Integrating Formal Methods into the...
- PublisherSpringer
- Publication date2013
- ISBN 10 1475752652
- ISBN 13 9781475752656
- BindingPaperback
- LanguageEnglish
- Number of pages452
- EditorCiancarini Paolo, Fantechi Alessandro, Gorrieri Roberto
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
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-9781475752656
Quantity: Over 20 available
Stock Image
Formal Methods for Open Object-Based Distributed Systems
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-9781475752656
Quantity: Over 20 available
Stock Image
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... February 15-18, 1999, Florence, Italy
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781475752656_new
Quantity: Over 20 available