Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - Howard Bowman - Livres - Cambridge University Press - 9780521168755 - 21 juillet 2011
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 66,49

Commandé depuis un entrepôt distant

Livraison prévue 21 sept. - 5 oct.
Recevez une notification pour les nouvelles sorties de Howard Bowman

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.

492 pages, black & white illustrations

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 21 juillet 2011
ISBN13 9780521168755
Éditeurs Cambridge University Press
Pages 492
Dimensions 256 × 178 × 31 mm   ·   922 g
Langue et grammaire Anglais  
Éditeur Bowman, Howard (University of Kent, Canterbury)
Éditeur Derrick, John (University of Kent, Canterbury)

Plus par Howard Bowman

Afficher tout

Plus d'ouvrages du même éditeur

Voir tous les Howard Bowman