Gå direkt till innehållet
Programming Languages and Systems
Spara

Programming Languages and Systems

Lägsta pris på PriceRunner
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.
Undertitel
7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings
Redaktör
Zhenjiang Hu
Upplaga
2009 ed.
ISBN
9783642106712
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2009-11-24
Sidor
359