Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - Howard Bowman - Bøker - Cambridge University Press - 9780521168755 - 21. juli 2011
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 679

Bestillingsvarer

Forventes levert 11. - 25. jun
Legg til iMusic ønskeliste
eller

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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 21. juli 2011
ISBN13 9780521168755
Utgivere Cambridge University Press
Antall sider 492
Mål 256 × 178 × 31 mm   ·   922 g
Språk Engelsk  
Redaktør Bowman, Howard (University of Kent, Canterbury)
Redaktør Derrick, John (University of Kent, Canterbury)

Mer med Howard Bowman

Vis alle

Mere med samme udgiver