Data & IT
Formal Methods for Distributed Processing
Howard Bowman • John Derrick • Howard Bowman • John Derrick
Inbunden
2419:-
Uppskattad leveranstid 5-10 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Trade paperback 869:-
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.
- Format: Inbunden
- ISBN: 9780521771849
- Språk: Engelska
- Antal sidor: 492
- Utgivningsdatum: 2001-10-22
- Förlag: Cambridge University Press