Formal Methods for Distributed Processing
A Survey of Object-Oriented Approaches
Inbunden, Engelska, 2001
Av Canterbury) Bowman, Howard (University of Kent, Canterbury) Derrick, John (University of Kent, Howard Bowman, John Derrick
2 889 kr
Beställningsvara. Skickas inom 5-8 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2001-10-22
- Mått178 x 254 x 27 mm
- Vikt1 015 g
- SpråkEngelska
- Antal sidor492
- FörlagCambridge University Press
- EAN9780521771849