Kobayashi, Naoki.

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings / [electronic resource] : edited by Naoki Kobayashi. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006. - v.: digital - Lecture Notes in Computer Science, 4279 0302-9743 ; .

9783540489382


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