Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - Howard Bowman - Knihy - Cambridge University Press - 9780521168755 - 21. júla 2011
V prípade, že obal a názov nesedia, platí názov

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Cena
€ 69,99

Objednané zo vzdialeného skladu

Očakávané doručenie 14. - 28. aug
Dostávajte upozornenia na nové nahrávky interpreta Howard Bowman
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

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šetko

Viac od toho istého vydavateľa