Logic-Based Program Synthesis and Transformation
Language: English
Published by Springer, 2008
- Softcover
- New
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
4-star seller
AbeBooks seller since January 19, 2007
Softcover
Condition: New
US$ 35.13
US$ 8.59 shipping
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Add to basketFree 30-day returns
Item description from seller
pp. 234 Illus.
Seller Inventory # 7591998
- Title
- Logic-Based Program Synthesis and Transformation
- Publisher
- Springer
- Publication year
- 2008
- Condition
- New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3540787682
- ISBN 13
- 9783540787686
This book constitutes the thoroughly refereed postproceedings of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, held in Kongens Lyngby, Denmark, August 23-24, 2007 colocated with SAS 2007. The 13 revised full papers presented together with one invited talk were carefully selected and revised from 30 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on program termination, program transformation, constraint solving and analysis as well as software engineering.
"Synopsis" may belong to another edition of this title.
Majestic Books
Hounslow, United Kingdom
4-star seller
AbeBooks seller since January 19, 2007
Shipping rates from United Kingdom to U.S.A.
| Item | 14 to 45 business days | 5 to 10 business days |
|---|---|---|
| First item | US$ 8.59 | US$ 13.01 |
Payment methods
Store description
We specialise in General Interest Books from South Asian countries.
Specialty
Art, Economics, Buddhism, Religion, Sociology, PaintingSeller's business information
BOOKS AND PERIODICALS AGENCY LTD
Unit 4 Alice way,
Hounslow, United Kingdom TW3 3UD
Terms of sale
Returns accepted if you are not satisfied with the Service or Book.
Shipping terms
Best packaging and fast delivery