Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings

Show other versions (1)
Bibliographic Details
Main Author: Ueda, Kazunori
Corporate Author: SpringerLink (Online service)
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Series:Lecture Notes in Computer Science 6461
Subjects:
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
Online Access:http://dx.doi.org/10.1007/978-3-642-17164-2

Similar Items

Similar Items