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)
AI Summary
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.
Discover books you might love based on this title.
More in This Genre
Cloud Computing and Services Science
Ksh 8,100.00
Interactive Storytelling
Ksh 14,400.00
Artificial Intelligence Applications and Innovations. AIAI 2024 IFIP WG 12.5 International Workshops
Ksh 18,000.00
Information Systems and Design
Ksh 12,600.00
Object Oriented Software Technologies in Telecommunications
Ksh 28,950.00
Applied Reconfigurable Computing
Ksh 8,100.00
