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

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

SKU: 9780521771849

₹13,334.00

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.

5 in stock

Category:

Related products