Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - - Livres - Cambridge University Press - 9780521771849 - 22 octobre 2001
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 179,49

Commandé depuis un entrepôt distant

Livraison prévue 28 juil. - 11 août

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Pas encore évalué

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.

490 pages, illustrations

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 22 octobre 2001
ISBN13 9780521771849
Éditeurs Cambridge University Press
Pages 492
Dimensions 178 × 254 × 27 mm   ·   1,02 kg
Langue et grammaire Anglais  
Éditeur Bowman, Howard (University of Kent, Canterbury)
Éditeur Derrick, John (University of Kent, Canterbury)

Plus d'ouvrages du même éditeur