Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Bowman, Howard (Editor)/ Derrick, John (Editor)

ISBN 10: 0521771846 / ISBN 13: 9780521771849

Editore: Cambridge Univ Pr, 2002

Riguardo questo articolo

480 pages. 10.25x7.25x1.25 inches. In Stock. Codice articolo x-0521771846

Dati bibliografici

Titolo: Formal Methods for Distributed Processing: A...

Casa editrice: Cambridge Univ Pr

Data di pubblicazione: 2002

Legatura: Hardcover

Condizione: Brand 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.