Arbab, Farhad.Ölveczky, Peter Csaba. (Eds.) () Formal Aspects of Component Software8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected PapersMLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /
edited by Farhad Arbab, Peter Csaba Ölveczky.
|Names:||Arbab, Farhad. | Ölveczky, Peter Csaba.|
|Published:||Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.|
Lecture Notes in Computer Science, 7253
|Topics:||Computer science. | Software engineering. | Logic design. | Information Systems. | Computer Science. | Software Engineering. | Mathematical Logic and Formal Languages. | Logics and Meanings of Programs. | Programming Languages, Compilers, Interpreters. | Programming Techniques. | Management of Computing and Information Systems.|