|
|
books
| book details |
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Edited by Kazunori Ueda
|
| on special |
normal price: R 2 154.95
Price: R 1 938.95
|
| book description |
The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation.
| product details |
Normally shipped |
Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published date | 5 Nov 2010
Language |
Format | Paperback / softback
Pages | 440
Dimensions | 0 x 0 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-6421-7163-5
Readership Age |
BISAC | computers / compilers
| other options |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
|
|
|
Matt Dinniman
Paperback / softback
480 pages
was: R 522.95
now: R 459.95
|
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
|
|
