{"product_id":"9780412797705","title":"IFIP Advances in Information and Communication Technology: Volume 1","description":"\u003ch1\u003eIFIP Advances in Information and Communication Technology: Volume 1\u003c\/h1\u003e \u003ch2\u003eNajm, Elie; Stefani, Jean-Bernard\u003c\/h2\u003e \u003cp\u003eObject-based Distributed Computing is being established as the  most pertinent basis for the support of large, heterogeneous computing  and  telecommunications systems. The advent of Open Object-based  Distributed Systems (OODS) brings new challenges and opportunities  for the use and development of formal methods. Formal Methods for  Open Object-based Distributed Systems presents the latest research in  several related fields, and the exchange of ideas and experiences in  a number of topics including: formal models for object-based  distributed computing; semantics of object-based distributed systems  and programming languages; formal techniques in object-based and  object oriented specification, analysis and design; refinement and  transformation of specifications; multiple viewpoint modeling and  consistency between different models; formal techniques in  distributed systems verification and testing; types, service types  and subtyping; specification, verification and testing of quality of  service constraints and formal methods and the object life cycle. It  contains the selected proceedings of the International Workshop on  Formal Methods for Open Object-based Distributed Systems, sponsored  by the International Federation for Information Processing, and based  in Paris, France, in March 1996.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1996-11-30\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780412797705\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-0-387-35082-0\u003c\/p\u003e \u003cp\u003eDimensions: 234cm x156cm\u003c\/p\u003e \u003cp\u003ePages: 412\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":45378905800844,"sku":"9780412797705","price":197.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780412797705.jpg?v=1771513735","url":"https:\/\/lateknightbooks.com\/products\/9780412797705","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}