Formal methods for distributed processing. A survey of object-oriented approaches.

ISBN 10: 0521771846 / ISBN 13: 9780521771849

Editore: Cambridge, Cambridge University Press, 2001

Riguardo questo articolo

480 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9780521771849 Sprache: Englisch Gewicht in Gramm: 550. Codice articolo 2341238

Dati bibliografici

Titolo: Formal methods for distributed processing. A...

Casa editrice: Cambridge, Cambridge University Press

Data di pubblicazione: 2001

Legatura: Hardcover

Descrizione articolo

Riassunto:

A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.

Descrizione del libro:

This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects.