Formal Methods for Distributed Processing : A Survey of Object-Oriented Approaches
Book Details
Format
Paperback / Softback
ISBN-10
0521168759
ISBN-13
9780521168755
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Jul 21st, 2011
Print length
492 Pages
Weight
850 grams
Dimensions
25.40 x 17.80 x 2.50 cms
Product Classification:
Computer hardwareObject-oriented programming (OOP)
Ksh 9,200.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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.
Get Formal Methods for Distributed Processing by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has pages.
