Formal Methods for Open Object-Based Distributed Systems
Subtitle: Volume 2
Publisher: Springer
Published: 2016
Language: eng
ISBN-13: 9780387352619
Subjects: Electronic data processing, distributed processing; Object-oriented methods (computer science)