Ramalingam, G.
Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings / [electronic resource] : edited by G. Ramalingam. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5356 0302-9743 ; . - Lecture Notes in Computer Science, 5356 .
9783540893301
10.1007/978-3-540-89330-1 doi
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.
QA76.7-76.73 QA76.76.C65
005.13
Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings / [electronic resource] : edited by G. Ramalingam. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5356 0302-9743 ; . - Lecture Notes in Computer Science, 5356 .
9783540893301
10.1007/978-3-540-89330-1 doi
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.
QA76.7-76.73 QA76.76.C65
005.13