Meyer, Bertrand.Nordio, Martin. (Eds.) () Empirical Software Engineering and VerificationInternational Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial LecturesMLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures /
edited by Bertrand Meyer, Martin Nordio.
|Names:||Meyer, Bertrand. | Nordio, Martin.|
|Published:||Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.|
Lecture Notes in Computer Science, 7007
|Topics:||Computer science. | Software engineering. | Logic design. | Information Systems. | Computer Science. | Software Engineering. | Logics and Meanings of Programs. | Programming Languages, Compilers, Interpreters. | Programming Techniques. | Mathematical Logic and Formal Languages. | Management of Computing and Information Systems.|