2006
Paperback (23 Mar 2006)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.
| ISBN: | 9783540326540 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 23 Mar 2006 |
| Edition: | 2006 |
| DEWEY: | 005.15 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 178 |
| Weight: | 630g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 10mm |
$16.30off
Paperback
Published 16 Oct 2020
Save $16.30
$8.57off
Paperback
Published 31 Aug 2023
Save $8.57
$32.33off
Paperback
Published 11 Oct 2005
Save $32.33
