Formal Techniques for Distributed Systems

Formal Techniques for Distributed Systems
Details
- OL Work ID
- OL19850855W
Subjects
Mathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringComputer networksLogic designLogics and Meanings of ProgramsComputer scienceProgramming Languages, Compilers, InterpretersElectronic data processing, distributed processingComputer Communication Networks