Programming Languages and Systems
From Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
AbeBooks Seller since November 22, 2018
New - Soft cover
Quantity: 4 available
Add to basketFrom Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
AbeBooks Seller since November 22, 2018
Quantity: 4 available
Add to basketBibliographic Details
Title: Programming Languages and Systems
Publisher: Springer
Publication Date: 2009
Binding: Soft cover
Condition: New
About this title
This book constitutes the refereed proceedings of the 7th Asian Symposium on Programming Languages and Systems, APLAS 2009, held in Seoul, Korea, in December 2009.
The 21 papers presented in this volume together with 3 invited talks were carefully reviewed and selected from 56 submissions. 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.
"About this title" may belong to another edition of this title.
Store Description
We accept return for those books which are received damaged. Though we take appropriate care in packing to avoid such situation.
Payment Methods
accepted by seller