Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache
153,32 €
These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining new notations, such as Actors, Pi-calculus and Ambients. Preface; Part I. Object-Oriented Distributed Systems: 1.
Jetzt bei Ebay:
