TY  - GEN
TY  - GEN
T1  - Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
T2  - Programming and Software Engineering ;
A2  - Lau, Kung-Kiu.
A2  - Lau, Kung-Kiu.
A2  - Banach, Richard.
A2  - Banach, Richard.
LA  - English
PP  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg : Imprint: Springer
YR  - 2005
ED  - 1st ed. 2005.
UL  - http://discoverylib.upm.edu.my/discovery/Record/978-3-540-32250-4
OP  - 502
CN  - QA76.758
SN  - 9783540322504
KW  - Software engineering.
KW  - Computer logic.
KW  - Programming languages (Electronic computers).
KW  - Software Engineering/Programming and Operating Systems.
KW  - Software Engineering.
KW  - Logics and Meanings of Programs.
KW  - Programming Languages, Compilers, Interpreters.
ER  -