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