Formal Aspects of Component Softwarede Luís Soares BarbosaMateriasMathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringComputer networksLogic designLogics and Meanings of ProgramsComputer scienceProgramming Languages, Compilers, InterpretersComputer Communication Networks