Povedzte o tejto položke priateľom:
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches Howard Bowman
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Howard Bowman
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.
492 pages, black & white illustrations
| Médium | Knihy Paperback Book (Kniha s mäkkou väzbou a lepeným chrbtom) |
| Vydané | 21. júla 2011 |
| ISBN13 | 9780521168755 |
| Vydavatelia | Cambridge University Press |
| Strany | 492 |
| Rozmery | 256 × 178 × 31 mm · 922 g |
| Jazyk | Angličtina |
| Editor | Bowman, Howard (University of Kent, Canterbury) |
| Editor | Derrick, John (University of Kent, Canterbury) |
Viac od Howard Bowman
Zobraziť všetkoViac od toho istého vydavateľa
Pozrieť všetko od Howard Bowman ( napr. Hardcover Book a Paperback Book )