Formal Methods for Distributed Processing
A Survey of Object-Oriented Approaches
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.
Specificaties
| ISBN/EAN | 9780521168755 |
| Auteur | Howard (University of Kent Bowman |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Paperback / gebrocheerd |
| Pagina's | 492 |
| Lengte | |
| Breedte |