Eleftherakis, George., Hinchey, Mike.Holcombe, Mike. (Eds.) () Software Engineering and Formal Methods10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. ProceedingsMLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Software Engineering and Formal Methods [electronic resource] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /
edited by George Eleftherakis, Mike Hinchey, Mike Holcombe.
|Names:||Eleftherakis, George. | Hinchey, Mike. | Holcombe, Mike.|
|Published:||Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.|
Lecture Notes in Computer Science, 7504
|Topics:||Computer science. | Computer Communication Networks. | Software engineering. | Logic design. | Artificial intelligence. | Computer Science. | Software Engineering. | Logics and Meanings of Programs. | Programming Languages, Compilers, Interpreters. | Mathematical Logic and Formal Languages. | Computer Communication Networks. | Artificial Intelligence (incl. Robotics).|