Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches -  - Knihy - Cambridge University Press - 9780521771849 - 22. októbra 2001
V prípade, že obal a názov nesedia, platí názov

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

Cena
€ 185,49

Objednané zo vzdialeného skladu

Očakávané doručenie 2. - 16. júl
Pridať do vášho zoznamu prianí na iMusic

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édium Knihy     Hardcover Book   (Kniha s pevnou väzbou a obalom)
Vydané 22. októbra 2001
ISBN13 9780521771849
Vydavatelia Cambridge University Press
Strany 492
Rozmery 178 × 254 × 27 mm   ·   1,02 kg
Jazyk Angličtina  
Editor Bowman, Howard (University of Kent, Canterbury)
Editor Derrick, John (University of Kent, Canterbury)

Mere med samme udgiver