Publisher's Synopsis
A collection of papers organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis.
Logic Based Program Synthesis and Transformation Theoretical Computer Science and General Issues 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers - Lecture Notes in Computer Science
2005th edition
Paperback (24 Jun 2005)
Save $1.04
-
RRP $57.51 - $56.47
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Check stock
Book information
| ISBN: | 9783540266556 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 24 Jun 2005 |
| Edition: | 2005th edition |
| Language: | English |
| Number of pages: | 284 |
| Weight: | 450g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 15mm |
We recommend
$17.37off
AI and Machine Learning for Cod...
Paperback
Published 16 Oct 2020
Save $17.37
RRP $67.73- $50.36
$8.87off
Mathematics for Computer Scient...
Paperback
Published 31 Aug 2023
Save $8.87
RRP $76.68- $67.81
$32.07off
The Logic of Typed Feature Stru...
Paperback
Published 11 Oct 2005
Save $32.07
RRP $54.95- $22.88
