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 Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4279 0302-9743 ; . - Lecture Notes in Computer Science, 4279 .
9783540489382
10.1007/11924661 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 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings / [electronic resource] : edited by Naoki Kobayashi. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4279 0302-9743 ; . - Lecture Notes in Computer Science, 4279 .
9783540489382
10.1007/11924661 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