Formal Techniques for Distributed Objects, Components, and Systems
- Springer 2016
- Lecture Notes in Computer Science .
9783319395708
Logics and Meanings of Programs; Software Engineering; Computation by Abstract Devices; Mathematical Logic and Formal Languages; Information Systems Applications (incl.Internet); Computer Communication Networks