Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems by Ahmed Bouajjani, Alexandra Silva.
Published by Springer International Publishing AG, (2017), Paperback, 243 pages.
Topics: Object-oriented methods (computer science), Computer software, reliability.