Formal Techniques for Distributed Systems

Name: Formal Techniques for Distributed Systems
Author: Holger Giese

Cover of Formal Techniques for Distributed Systems

No description available.

Mathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringComputer networksLogic designLogics and Meanings of ProgramsComputer scienceProgramming Languages, Compilers, InterpretersElectronic data processing, distributed processingComputer Communication Networks