Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings / [electronic resource] : edited by Mooly Sagiv. - Berlin Heidelberg : Springer-Verlag GmbH., 2005. - xiii, 438 p. : ill., digital ; 25 cm. - Lecture Notes in Computer Science, 3444 0302-9743 ; .

9783540319870 (electronic bk.) 9783540254355 (paper)


Computer programming--Congresses.
Programming languages (Electronic computers)--Congresses.
Computer Science.
Data Structures.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Software Engineering.

QA76.6 / .E976 2005

005.1