![Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings - Lecture Notes in Computer Science - Zhenjiang Hu - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642106712 - November 24, 2009](https://imusic.b-cdn.net/images/item/original/712/9783642106712.jpg?zhenjiang-hu-2009-programming-languages-and-systems-7th-asian-symposium-aplas-2009-seoul-korea-december-14-16-2009-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1532920376)
Tell your friends about this item:
Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings - Lecture Notes in Computer Science 2009 edition
Zhenjiang Hu
Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings - Lecture Notes in Computer Science 2009 edition
Zhenjiang Hu
The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.
370 pages, Illustrations
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | November 24, 2009 |
ISBN13 | 9783642106712 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 359 |
Dimensions | 155 × 235 × 20 mm · 566 g |
Language | French |
Editor | Hu, Zhenjiang |