{"product_id":"formal-methods-for-open-object-based-distributed-systems-iv-ifip-tc6-wg6-1-fourth-international-conference-on-formal-methods-for-open-object-based-d-9780792379232","title":"Formal Methods for Open Object-Based Distributed Systems IV: Ifip Tc6\/Wg6.1. Fourth International Conference on Formal Methods for Open Object-Based D","description":"\u003cp\u003e • Author(s): Scott F. Smith\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Programming - Object Oriented\u003c\/p\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(R); \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.","brand":"Springer","offers":[{"title":"Hardcover","offer_id":45284350296215,"sku":"9780792379232","price":14690.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780792379232.webp?v=1769280911","url":"https:\/\/atlanticbooks.com\/products\/formal-methods-for-open-object-based-distributed-systems-iv-ifip-tc6-wg6-1-fourth-international-conference-on-formal-methods-for-open-object-based-d-9780792379232","provider":"Atlantic Books","version":"1.0","type":"link"}