{"product_id":"9781475710182","title":"IFIP Advances in Information and Communication Technology: 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","description":"\u003ch1\u003eIFIP Advances in Information and Communication Technology: 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\u003c\/h1\u003e \u003ch2\u003eSmith, Scott F.; Talcott, Carolyn L.\u003c\/h2\u003e \u003cp\u003e\u003cem\u003eFormal Methods for Open Object-Based Distributed Systems  IV\u003c\/em\u003e 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. \u003cbr\u003e  Papers in this volume focus on the following specific technologies:  \u003c\/p\u003e\u003cul\u003e \u003cli\u003e components; \u003c\/li\u003e  \u003cli\u003e mobile code; \u003c\/li\u003e  \u003cli\u003e  Java®; \u003c\/li\u003e  \u003cli\u003e The Unified Modeling Language (UML); \u003c\/li\u003e  \u003cli\u003e  refinement of specifications; \u003c\/li\u003e  \u003cli\u003e types and subtyping; \u003c\/li\u003e  \u003cli\u003e  temporal and probabilistic systems. \u003c\/li\u003e  \u003c\/ul\u003e   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. \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2012-08-01\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9781475710182\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-0-387-35520-7\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 422\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":44359065862284,"sku":"9781475710182","price":197.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781475710182.jpg?v=1779503842","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9781475710182","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}