2005
Paperback (21 Oct 2005)
Save $0.66
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Constitutes the refereed proceedings of the Third Asian Symposium on Programming Languages and Systems, APLAS 2005, held in Tsukuba, Japan in November 2005. This title covers topics such as, semantics, type theory, program transformation, static analysis, verification, programming calculi, functional programming languages, and more.
| ISBN: | 9783540297352 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 21 Oct 2005 |
| Edition: | 2005 |
| DEWEY: | 005.13 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 435 |
| Weight: | 1400g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 23mm |
$15.92off
The Art of Agile Development
Paperback
Published 26 Oct 2021
Save $15.92
$8.38off
Data Analysis With Python and P...
Paperback
Published 16 Mar 2022
Save $8.38
$0.73off
Balancing Coupling in Software ...
Paperback
Published 29 Oct 2024
Save $0.73
$13.33off
Learning Kali Linux
Paperback
Published 23 Aug 2024
Save $13.33
$16.46off
Inside Cyber Warfare
Paperback
Published 01 Oct 2024
Save $16.46
$4.86off
Foundations of Software Testing...
Paperback
Published 05 Nov 2024
Save $4.86
$19.32off
Engineering Resilient Systems o...
Paperback
Published 29 Oct 2024
Save $19.32
$17.48off
Learning DevSecOps
Paperback
Published 24 May 2024
Save $17.48
$72.89off
Applied Interval Analysis
Hardback
Published 30 Aug 2001
Save $72.89