Formal methods for distributed processing: a survey of object-oriented approaches
Éditeur :
Cambridge University Press
ISBN :
9780521168755
Date de publication :
21 juil. 2011
Dimensions :
25,4 x 17,8 x 2,5 cm
Poids :
850 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.