Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings / [electronic resource] :
edited by Kwangkeun Yi.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
- v.: digital
- Lecture Notes in Computer Science, 3780 0302-9743 ; .
9783540322474
Computer science Software engineering Operating systems (Computers) Logic design Computer Science Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Operating Systems Programming Techniques Mathematical Logic and Formal Languages