TY  - BOOK
AU  - Dowek,Gilles
TI  - Principles of programming languages
SN  - 9780848820319
AV  - QA76.7 .D746 2009
PY  - 2009///
CY  - London
PB  - Springer - Verlag London
KW  - Logic and meanings of programs
KW  - Programming languages (Electronic complexity)
KW  - Programming languages (Electronic computer science
KW  - Programming languages, compilers, interpreters
N1  - Includes index :page 157 - 159
ER  -