Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - - Bøker - Cambridge University Press - 9780521771849 - 22. oktober 2001
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 1.789

Bestillingsvarer

Forventes levert 9. - 23. jun

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
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.

490 pages, illustrations

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 22. oktober 2001
ISBN13 9780521771849
Utgivere Cambridge University Press
Antall sider 492
Mål 178 × 254 × 27 mm   ·   1,02 kg
Språk Engelsk  
Redaktør Bowman, Howard (University of Kent, Canterbury)
Redaktør Derrick, John (University of Kent, Canterbury)

Mere med samme udgiver