{"product_id":"9780792384298","title":"IFIP Advances in Information and Communication Technology: IFIP TC6 \/ WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy","description":"\u003ch1\u003eIFIP Advances in Information and Communication Technology: IFIP TC6 \/ WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy\u003c\/h1\u003e \u003ch2\u003eCiancarini, Paolo; Fantechi, Alessandro; Gorrieri, Roberto\u003c\/h2\u003e \u003cp\u003e\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\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1999-02-28\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780792384298\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-0-387-35562-7\u003c\/p\u003e \u003cp\u003eDimensions: 234cm x156cm\u003c\/p\u003e \u003cp\u003ePages: 436\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":44806313312396,"sku":"9780792384298","price":197.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780792384298.jpg?v=1779503346","url":"https:\/\/lateknightbooks.com\/products\/9780792384298","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}