Formal Methods For Components And Objects 9th International Symposium Fmco 2010 Graz Austria November 29 December 1 2010
No description available.
Software Engineering/Programming and Operating SystemsSoftware engineeringProgramming TechniquesLogic designLogics and Meanings of ProgramsComputer scienceProgramming Languages, Compilers, InterpretersOperating systems (Computers)Operating SystemsOperating systems (computers)