{"product_id":"formal-methods-for-open-object-based-distributed-systems-iv-ifip-tc6-wg6-1-fourth-international-conference-on-formal-methods-for-open-object-based-distributed-systems-fmoods-2000-september-6-8-2000-stanford-california-usa-von-scott-f-smith-caro","title":"Formal Methods for Open Object-Based Distributed Systems IV","description":"\n                                \n                \u003cem\u003eFormal Methods for Open Object-Based Distributed Systems  IV\u003c\/em\u003e\n                                 presents the leading edge in the fields of object-oriented  programming, open distributed systems, and formal methods for  object-oriented systems. With increased support within industry  regarding these areas, this book captures the most up-to-date  information on the subject. \n                \n                \u003cbr\u003e\n                                  Papers in this volume focus on the following specific technologies:  \n                \n                \u003cul\u003e\n                                         \n                    \n                    \u003cli\u003e components; \u003c\/li\u003e\n                                          \n                    \n                    \u003cli\u003e mobile code; \u003c\/li\u003e\n                                          \n                    \n                    \u003cli\u003e  Java®; \u003c\/li\u003e\n                                          \n                    \n                    \u003cli\u003e The Unified Modeling Language (UML); \u003c\/li\u003e\n                                          \n                    \n                    \u003cli\u003e  refinement of specifications; \u003c\/li\u003e\n                                          \n                    \n                    \u003cli\u003e types and subtyping; \u003c\/li\u003e\n                                          \n                    \n                    \u003cli\u003e  temporal and probabilistic systems. \u003c\/li\u003e\n                                          \n                \n                \u003c\/ul\u003e\n                                   This volume comprises the  proceedings of the Fourth International Workshop on Formal Methods for  Open Object-Based Distributed Systems (FMOODS 2000), which was  sponsored by the International Federation for Information Processing  (IFIP) and held in Stanford, California, USA, in September 2000.\n            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9781475710182\"\u003e\u003ch3\u003eIFIP TC6\/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9781475710182","offer_id":39415676043357,"sku":"9781475710182","price":213.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/0cd61c2e-dd49-4263-9d28-7f9c937c809e.jpg?v=1779250039","url":"https:\/\/shop.autorenwelt.de\/products\/formal-methods-for-open-object-based-distributed-systems-iv-ifip-tc6-wg6-1-fourth-international-conference-on-formal-methods-for-open-object-based-distributed-systems-fmoods-2000-september-6-8-2000-stanford-california-usa-von-scott-f-smith-caro","provider":"Autorenwelt Shop","version":"1.0","type":"link"}