Vinkkaa tuotetta kavereillesi:
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Hinta
€ 190,99
Tilattu etävarastosta
Arvioitu toimitus ke 1. - 15. heinä
Lisää iMusic-toivelistallesi
tai
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
| Media | Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella) |
| Julkaisupäivämäärä | maanantai 22. lokakuuta 2001 |
| ISBN13 | 9780521771849 |
| Tuottaja | Cambridge University Press |
| Sivujen määrä | 492 |
| Mitta | 178 × 254 × 27 mm · 1,02 kg |
| Kieli | Englanti |
| Toimittaja | Bowman, Howard (University of Kent, Canterbury) |
| Toimittaja | Derrick, John (University of Kent, Canterbury) |