Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /

Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /

This book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, held in Pohang, South Korea, in November/December 2015. The 24 regular papers presented together with 1 short paper were carefully reviewed and selected from 74 submissions. T...

Full description

Bibliographic Details
Published in:Springer eBooks
Corporate Author: SpringerLink (Online service)
Other Authors: Feng, Xinyu (Editor), Park, Sungwoo (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:1st ed. 2015.
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Online Access:http://dx.doi.org/10.1007/978-3-319-26529-2
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/978-3-319-26529-2
Перейти в каталог НБ ТГУ

Similar Items