

An edition of Programming Languages and Systems (2009)
7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings
By Zhenjiang Hu
Publish Date
2009
Publisher
Springer-Verlag Berlin Heidelberg
Language
eng
Pages
376
Description:
subjects: Logic design, Software engineering, Data protection, Computer science, Programming languages (Electronic computers), Congresses, Programmanalyse, Kongress, Programmierlogik, Programmiersprache, Formale Methode, Programmtransformation, Programmoptimierung, Softwaresystem, Programmverifikation, Sicherheit, Computer programming