Order Total (1 Item Items):
Shipping Destination:
Logic Program Synthesis Transformation (446 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (446)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (192)
- Not Print on Demand (341)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Condition: New. pp. 234 Illus.
More buying choices from other sellers on AbeBooks
New offers from £ 18.37
Used offers from £ 38.29
Also find Softcover
-
paperback. Condition: Good. All orders are dispatched within one working day from our UK warehouse. We've been selling books online since 2004! We have over 750,000 books in stock. No quibble refund if not completely satisfied.
More buying choices from other sellers on AbeBooks
New offers from £ 58.82
Used offers from £ 18.10
Also find Softcover
-
Logic Program Synthesis and Transformation, Manchester 1991. Workshops in Computing
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
£ 7.52
Convert currency£ 13.27 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 16 (SALE ITEM)* 337 pp., ex library, else textually clean and tight, softcover. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
More buying choices from other sellers on AbeBooks
New offers from £ 36.14
Used offers from £ 20.79
Also find Softcover
-
Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
Published by Springer-Verlag, Berlin, 2001
ISBN 10: 3540421270 ISBN 13: 9783540421276
Language: English
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Paperback. Lecture Notes in Computer Science, No. 2042. Barely noticeable shelfwear on covers. Edges and spine ends are very lightly worn. Contents in excellent condition. BW. Used.
More buying choices from other sellers on AbeBooks
New offers from £ 50.82
Used offers from £ 21.97
Also find Softcover
-
Logic Program Synthesis and Transformation, Louvain-la-Neuve 1993. Workshops in Computing
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
£ 11.17
Convert currency£ 13.27 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 16 (SALE ITEM)* 245 pp., ex library, else textually clean and tight, softcover. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Condition: New. pp. 352.
More buying choices from other sellers on AbeBooks
New offers from £ 26.26
Used offers from £ 85
Also find Softcover
-
Logic based program synthesis and transformation : 13th international workshop ; revised selected papers. (=Lecture notes in computer science ; Vol. 3018).
Published by Berlin etc. : Springer, 2004
Language: English
Seller: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany
Association Member: GIAQ
Seller rating 5 out of 5 stars
£ 15.17
Convert currency£ 6.81 shipping from Germany to United KingdomQuantity: 1 available
Add to basketSoftcover/Paperback. Condition: Sehr gut. X, 232 S. : ill. ; 24 cm. Sehr guter Zustand. In Folie verschweißt. Very good. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 430.
-
Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Published by Springer Berlin Heidelberg, 2013
ISBN 10: 3642381960 ISBN 13: 9783642381966
Language: English
£ 28.71
Convert currency£ 7.58 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 256 | Sprache: Englisch | Produktart: Bücher.
More buying choices from other sellers on AbeBooks
New offers from £ 47.69
Used offers from £ 36.29
Also find Softcover
-
Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Published by Springer Berlin Heidelberg, 2012
ISBN 10: 3642322107 ISBN 13: 9783642322105
Language: English
£ 30.50
Convert currency£ 7.58 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 264 | Sprache: Englisch | Produktart: Bücher.
More buying choices from other sellers on AbeBooks
New offers from £ 45.53
Used offers from £ 38.08
Also find Softcover
-
£ 38.27
Convert currencyFree shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
More buying choices from other sellers on AbeBooks
New offers from £ 38.27
Used offers from £ 47.79
Also find Softcover
-
Logic-Based Program Synthesis and Transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8¿10, 2019, Revised Selected Papers
Published by Springer International Publishing, 2020
ISBN 10: 303045259X ISBN 13: 9783030452599
Language: English
£ 31.40
Convert currency£ 7.58 shipping from Germany to United KingdomQuantity: 2 available
Add to basketCondition: Hervorragend. Zustand: Hervorragend | Seiten: 280 | Sprache: Englisch | Produktart: Bücher.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 38.98
Also find Softcover
-
Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642125913 ISBN 13: 9783642125911
Language: English
£ 32.11
Convert currency£ 7.58 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 216 | Sprache: Englisch | Produktart: Bücher.
More buying choices from other sellers on AbeBooks
New offers from £ 56.05
Used offers from £ 39.69
Also find Softcover
-
Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Published by Springer-Verlag GmbH, 2011
ISBN 10: 364220550X ISBN 13: 9783642205507
Language: English
£ 32.31
Convert currency£ 7.58 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 248 | Sprache: Englisch | Produktart: Sonstiges.
More buying choices from other sellers on AbeBooks
New offers from £ 50.74
Used offers from £ 39.89
Also find Softcover
-
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21
Seller: George Cross Books, Lexington, MA, U.S.A.
Association Member: IOBA
Seller rating 4 out of 5 stars
£ 25.05
Convert currency£ 14.74 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Reprint edition. Very Good/Wraps (34587) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 883 This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies. 451.
More buying choices from other sellers on AbeBooks
New offers from £ 50.82
Used offers from £ 39.79
Also find Softcover
-
Logic-based Program Synthesis and Transformation : 23rd International Symposium, Lopstr 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 43.49
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 43.49
Used offers from £ 107.99
Also find Softcover
-
Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 45.62
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
PF. Condition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 48.60
Used offers from £ 78.65
Also find Softcover
-
Condition: Used. pp. 320.
-
PF. Condition: New.
-
Logic-Based Program Synthesis and Transformation : 9th International Workshop, Lopstr '99, Venice, Italy, September 1999 : Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 50.81
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 51.04
Also find Softcover
-
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University ... 2-3 July 1992 (Workshops in Computing)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
More buying choices from other sellers on AbeBooks
New offers from £ 50.82
Used offers from £ 104
Also find Softcover
-
Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3573)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
More buying choices from other sellers on AbeBooks
New offers from £ 50.82
Used offers from £ 92.31
Also find Softcover
-
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, ... 7-9 July 1993 (Workshops in Computing)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
More buying choices from other sellers on AbeBooks
New offers from £ 50.82
Used offers from £ 92.30
Also find Softcover
-
Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science, 1207)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Logic-Based Program Synthesis and Transformation : 8th International Workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998 : Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 50.81
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 55.70
Also find Softcover
-
Logic Based Program Synthesis And Transformation : 15th International Symposium, Lopstr 2005, London, Uk, September 7-9, 2005, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 50.81
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 55.70
Also find Softcover
-
Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers (Lecture Notes in Computer Science, 4407)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
More buying choices from other sellers on AbeBooks
New offers from £ 50.82
Used offers from £ 91.95
Also find Softcover
-
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers (Lecture Notes in Computer Science, 2664)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
More buying choices from other sellers on AbeBooks
New offers from £ 50.82
Used offers from £ 85.34
Also find Softcover
-
Logic Based Program Synthesis and Transformation : 11th International Workshop, Lopster 2001, Paphos, Cyprus, November 28-30, 2001 : Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 50.81
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Logic Based Program Synthesis And Transformation : 13th International Symposium Lopstr 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 50.81
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 55.70
Also find Softcover
