Ueda, Kazunori.
Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings / [electronic resource] : edited by Kazunori Ueda. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6461 0302-9743 ; . - Lecture Notes in Computer Science, 6461 .
9783642171642
10.1007/978-3-642-17164-2 doi
Computer science.
Software engineering.
Data protection.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Logics and Meanings of Programs.
Systems and Data Security.
Programming Techniques.
Mathematical Logic and Formal Languages.
QA76.7-76.73 QA76.76.C65
005.13
Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings / [electronic resource] : edited by Kazunori Ueda. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6461 0302-9743 ; . - Lecture Notes in Computer Science, 6461 .
9783642171642
10.1007/978-3-642-17164-2 doi
Computer science.
Software engineering.
Data protection.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Logics and Meanings of Programs.
Systems and Data Security.
Programming Techniques.
Mathematical Logic and Formal Languages.
QA76.7-76.73 QA76.76.C65
005.13