Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012 : revised selected papers /
Contains the proceedings of the three satellite events of the 10th International Conference on Software Engineering and Formal Methods (SEFM 2012), which was held during October 1-5, 2012, in Thessaloniki, Greece: InSuEdu 2012, First International Symposium on Innovation and Sustainability in Educat...
Other Authors: | Cerone, Antonio,, Persico, Donatella, 1957-, Garcia-Perez, Alexis,, Fernandes, Sara,, Katsaros, Panagiotis, 1969-, Shaikh, Siraj Ahmed,, Stamelos, Ioannis,, SpringerLink (Online service), International Conference on Software Engineering and Formal Methods, InSuEdu (Symposium), MoKMaSD (Symposium), OpenCert (Symposium) |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin :
Springer,
2014.
|
Physical Description: |
1 online resource (XV, 305 pages) : illustrations. |
Series: |
Lecture notes in computer science ;
7991. LNCS sublibrary. Programming and software engineering. |
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |