International Conference on Formal Metho – författare
Visar alla böcker från författaren International Conference on Formal Metho. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
2 198 kr
Skickas inom 10-15 vardagar
This volume discusses the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. Papers included within focus on the following specific technologies: components; mobile code; Java; the Unified Modelling Language (UML); refinement of specifications; types and subtyping; and temporal and probabilistic systems.
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
Inbunden, Engelska, 1999
2 198 kr
Skickas inom 10-15 vardagar
This volume on formal methods for open object-based distributed systems includes the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and formalisation of object-oriented methods. 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.