Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches -  - Boeken - Cambridge University Press - 9780521771849 - 22 oktober 2001
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 176,49

Besteld in een afgelegen magazijn

Verwachte levering 10 - 24 jun.
Voeg toe aan uw iMusic-verlanglijst

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 Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 22 oktober 2001
ISBN13 9780521771849
Uitgevers Cambridge University Press
Pagina's 492
Afmetingen 178 × 254 × 27 mm   ·   1,02 kg
Taal en grammatica Engels  
Uitgever Bowman, Howard (University of Kent, Canterbury)
Uitgever Derrick, John (University of Kent, Canterbury)

Mere med samme udgiver