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 Survey of Object-Oriented Approaches
• Editore: Cambridge Univ Pr
• Data di pubblicazione: 2002
• Lingua: Inglese
• ISBN 10: 0521771846
• ISBN 13: 9780521771849
• Rilegatura: 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.