Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
-7%
Availability: In Stock

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

SKU: 9780521771849

Original price was: ₹10,757.60.Current price is: ₹10,757.60.

Master advanced formal methods for distributed processing with this comprehensive survey. Explore leading object-oriented approaches, detailing techniques for dynamic reconfiguration, subtyping, inheritance, and real-time aspects essential for robust system design. This authoritative collection is a vital resource for computer science students, researchers, and IT professionals in India looking to build reliable, verifiable distributed systems. Elevate your software engineering skills with insights into formal verification.

2 in stock

Category: Tag:

Related products