Formal Techniques for Distributed Objects, Components, and Systemsde Erika Ábrahám, Catuscia PalamidessiMateriasElectronic data processing, distributed processingComputer network protocolsSystem designSoftware engineeringComputer scienceLogic designLogics and Meanings of ProgramsComputation by Abstract DevicesMathematical Logic and Formal Languages
