Formal Methods for Distributed Processing
Subtitle: A Survey of Object-Oriented Approaches
Publisher: Cambridge University Press
Published: 2021
Language: eng
ISBN-13: 9780511583902
Subjects: Electronic data processing, distributed processing; Object-oriented programming (computer science)