Logic Based Program Synthesis and Transformation
Language: English
Published by Springer, 2003
- Softcover
- New
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
AbeBooks seller since January 19, 2007
Condition: New
US$ 89.20
Quantity: 4 available
Add to basketItem description from seller
Print on Demand pp. 296 Illus.
Seller Inventory # 5852402
- Title
- Logic Based Program Synthesis and Transformation
- Publisher
- Springer
- Publication year
- 2003
- Condition
- New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3540404384
- ISBN 13
- 9783540404385
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.
The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.
"Synopsis" may belong to another edition of this title.
Majestic Books
Hounslow, United Kingdom
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.62 | US$ 13.06 |
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