Formal Techniques for Disributed Objects, Components, and Systems
by Ahmed Bouajjani, Alexandra Silva
Object-oriented methods (computer science)Computer software, reliability
Writing a summary for young readers…
For young readers
Book data: Open Library