Formal Aspects of Component Software
No description available.
Computer scienceSoftware engineeringFormal methods (Computer science)CongressesComponent softwareLogic designInformation SystemsMathematical Logic and Formal LanguagesLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersProgramming TechniquesManagement of Computing and Information Systems