Formal Methods for Distributed Processing

Bowman Howard

ISBN 10: 0521771846 / ISBN 13: 9780521771849

Editore: Cambridge University Press, 2001

Riguardo questo articolo

pp. x + 480. Codice articolo 18261403

Dati bibliografici

Titolo: Formal Methods for Distributed Processing

Casa editrice: Cambridge University Press

Data di pubblicazione: 2001

Legatura: Rilegato

Condizione: New

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.