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 10 revised full papers presented together with one invited talk
were carefully selected and revised from 33 submissions. The papers
are organized in topical sections on tools for program development,
program transformations, and software development and program
analysis.
General
| Imprint: |
Springer-Verlag
|
| Country of origin: |
Germany |
| Series: |
Lecture Notes in Computer Science, 3901 |
| Release date: |
March 2006 |
| First published: |
2006 |
| Editors: |
Patricia M Hill
|
| Dimensions: |
235 x 155 x 10mm (L x W x T) |
| Format: |
Paperback
|
| Pages: |
182 |
| Edition: |
2006 ed. |
| ISBN-13: |
978-3-540-32654-0 |
| Categories: |
Books >
Computing & IT >
Computer programming >
General
|
| LSN: |
3-540-32654-5 |
| Barcode: |
9783540326540 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
