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