{"product_id":"9781475752663","title":"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","description":"\u003ch3\u003eIFIP Advances in Information and Communication Technology\u003c\/h3\u003e\u003ch1\u003eFormal Methods for Open Object-Based Distributed Systems\u003c\/h1\u003e\u003ch2\u003eIFIP TC6 \/ WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy\u003c\/h2\u003e\u003ch3\u003ePaolo Ciancarini | Alessandro Fantechi | Roberto Gorrieri\u003c\/h3\u003e\u003cdiv\u003e\u003cb\u003eComputers \/ Computer Architecture\u003c\/b\u003e\u003c\/div\u003e\u003cbr\u003e\u003cdiv\u003e\n\u003cem\u003eFormal Methods for Open Object-Based Distributed Systems\u003c\/em\u003e  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. \u003cbr\u003e  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. \u003cbr\u003e  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. \u003cbr\u003e  \u003cem\u003eFormal Methods for Open Object-Based Distributed Systems\u003c\/em\u003e 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.\u003c\/div\u003e\u003cbr\u003e\u003ctable\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublication Date: \u003c\/td\u003e\n\u003ctd\u003e17 January 2013\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublisher: \u003c\/td\u003e\n\u003ctd\u003eSpringer US\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eImprint: \u003c\/td\u003e\n\u003ctd\u003eSpringer\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eISBN-13: \u003c\/td\u003e\n\u003ctd\u003e9781475752663\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eFormat: \u003c\/td\u003e\n\u003ctd\u003ePaperback \/ softback\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePage Count: \u003c\/td\u003e\n\u003ctd\u003e436\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003c\/table\u003e","brand":"Springer US","offers":[{"title":"Default Title","offer_id":44359083425932,"sku":"9781475752663","price":197.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781475752663.jpg?v=1782996894","url":"https:\/\/lateknightbooks.com\/products\/9781475752663","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}