Fortæl dine venner om denne vare:
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Pris
DKK 1.560
Bestilles fra fjernlager
Forventes klar til forsendelse 24. sep. - 6. okt.
Tilføj til din iMusic ønskeseddel
eller
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.
490 pages, illustrations
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 22. oktober 2001 |
| ISBN13 | 9780521771849 |
| Forlag | Cambridge University Press |
| Antal sider | 492 |
| Mål | 178 × 254 × 27 mm · 1,02 kg |
| Sprog | Engelsk |
| Klipper/redaktør | Bowman, Howard (University of Kent, Canterbury) |
| Klipper/redaktør | Derrick, John (University of Kent, Canterbury) |
