Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems …
This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for object oriented …
Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods …
