Formal Techniques for Distributed Systems

Formal Techniques for Distributed Systems
Details
- OL Work ID
- OL16941049W
Subjects
Logic designComputer networksComputer scienceSoftware engineeringElectronic data processingDistributed processingCongressesSystem designOperating systems (computers)Electronic data processing, distributed processingMathematical Logic and Formal LanguagesLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersProgramming TechniquesComputer Communication Networks