Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems
Details
- OL Work ID
- OL20681856W
Subjects
Electronic data processing, distributed processingComputer network protocolsSystem designSoftware engineeringComputer scienceLogic designLogics and Meanings of ProgramsComputation by Abstract DevicesMathematical Logic and Formal Languages