Formal Techniques for Distributed Objects, Components, and Systems
Elvira Albert, Ivan Lanese
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
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