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 /
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
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