Полное описание
>
Programming languages and systems : 8th asian symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 : proceedings / ed.: K. Ueda. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6461). - URL: http://dx.doi.org/10.1007/978-3-642-17164-2. - ISBN 978-3-642-17164-2.
Рубрики:
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
Доп. точки доступа:
Ueda, K.\ed.\
SpringerLink (Online service)
>
http://dx.doi.org/10.1007/978-3-642-17164-2
Просмотр издания