Formal Methods for Open Object-based Distributed Systems

Formal Methods for Open Object-based Distributed Systems

Volume 1

Herausgegeben: Najm, Elie; Stefani, Jean-Bernard
Versandkostenfrei!
Versandfertig in 1-2 Wochen
153,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
77 °P sammeln!
Object-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 ...