Title: Formal Methods For Components And Objects 9th International Symposium Fmco 2010 Graz Austria November 29 December 1 2010
Subjects: Software Engineering/Programming and Operating Systems, Software engineering, Programming Techniques, Logic design, Logics and Meanings of Programs, Computer science, Programming Languages, Compilers, Interpreters, Operating systems (Computers), Operating Systems, Operating systems (computers)