Formal Aspects of Component Software

Formal Aspects of Component Software
Details
- OL Work ID
- OL20719954W
Subjects
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