{"product_id":"formal-methods-for-open-object-based-distributed-systems-ifip-tc6-wg6-1-third-international-conference-on-formal-methods-for-open-object-based-distributed-systems-fmoods-february-15-18-1999-florence-italy-von-paolo-ciancarini-alessandro-fantech","title":"Formal Methods for Open Object-Based Distributed Systems","description":"\n                                \n                \u003cem\u003eFormal Methods for Open Object-Based Distributed Systems\u003c\/em\u003e\n                                  presents the leading edge in several related fields, specifically  object-orientated 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                                  Many topics are discussed, including the following important areas:  object-oriented design and programming; formal specification of  distributed systems; open distributed platforms; types, interfaces and  behaviour; formalisation of object-oriented methods. \n                \n                \u003cbr\u003e\n                                  This volume comprises the proceedings of the International Workshop on  Formal Methods for Open Object-based Distributed Systems (FMOODS),  sponsored by the International Federation for Information Processing  (IFIP) which was held in Florence, Italy, in February 1999. \n                \n                \u003cbr\u003e\n                                  \n                \n                \u003cem\u003eFormal Methods for Open Object-Based Distributed Systems\u003c\/em\u003e\n                                 is  suitable as a secondary text for graduate-level courses in computer  science and telecommunications, and as a reference for researchers and  practitioners in industry, commerce and government.\n            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9780792384298\"\u003e\u003ch3\u003eIFIP TC6 \/ WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy\u003c\/h3\u003e\u003c\/div\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9781475752663\"\u003e\u003ch3\u003eIFIP TC6 \/ WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Hardcover - 9780792384298","offer_id":50726499654,"sku":"9780792384298","price":213.99,"currency_code":"EUR","in_stock":true},{"title":"Softcover - 9781475752663","offer_id":39415270899805,"sku":"9781475752663","price":213.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/67f882b4-ddd7-445d-8c04-615eb80bafe8.jpg?v=1779251192","url":"https:\/\/shop.autorenwelt.de\/products\/formal-methods-for-open-object-based-distributed-systems-ifip-tc6-wg6-1-third-international-conference-on-formal-methods-for-open-object-based-distributed-systems-fmoods-february-15-18-1999-florence-italy-von-paolo-ciancarini-alessandro-fantech","provider":"Autorenwelt Shop","version":"1.0","type":"link"}