Order Total (1 Item Items):
Shipping Destination:
Logic Based Program Synthesis (532 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (532)
- 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 Learn more
- New (456)
- As New, Fine or Near Fine (61)
- Very Good or Good (14)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (13)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (197)
- Not Print on Demand (433)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Condition: New. pp. 234.
-
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
US$ 17.43
Convert currencyUS$ 8.76 shipping from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: New. pp. 234 Illus.
-
Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 Selected Papers
Published by Springer-Verlag, New York, 2002
ISBN 10: 3540439153 ISBN 13: 9783540439158
Language: English
Hardcover. Condition: Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Lecture Notes in Computer Science ;2372. [viii, 265 p. : fig. ; 24 cm].
-
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
US$ 20.39
Convert currencyUS$ 11.65 shipping from Germany to U.S.A.Quantity: 4 available
Add to basketCondition: New. pp. 234.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: 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.
-
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
US$ 25.65
Convert currencyUS$ 12.81 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. 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.
-
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
US$ 39.96
Convert currencyFree shipping from Australia to U.S.A.Quantity: 6 available
Add to basketBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Logic Based Program Synthesis and Transportation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 Revised Selected Papers
Published by Springer Verlag, New York, 2003
ISBN 10: 3540404384 ISBN 13: 9783540404385
Language: English
Hardcover. Condition: Very Good. No Jacket. Hardcover 2003 library bound edition. Ex-library book with minimal stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series :Lecture Notes in Computer Science ;2664. [x, 279 p. : ill. ; 24 cm].
-
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.9.
-
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Condition: New.
-
Logic-Based Program Synthesis and Transformation (Paperback)
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2009
ISBN 10: 3642005144 ISBN 13: 9783642005145
Language: English
Paperback. Condition: new. Paperback. This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement. This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
US$ 54.86
Convert currencyUS$ 9.37 shipping from Italy to U.S.A.Quantity: 5 available
Add to basketCondition: new.
-
US$ 60.48
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 60.48
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New.
-
Logic Based Program Synthesis and Transformation (Paperback)
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2004
ISBN 10: 3540221743 ISBN 13: 9783540221746
Language: English
Paperback. Condition: new. Paperback. This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, held in Uppsala, Sweden in August 2003. The 12 revised full papers presented were carefully selected during two rounds of reviewing and revision from 32 submissions. Also included are an invited paper and abstracts of 5 papers presented at the workshop. The papers are organized in topical sections on specification and synthesis, verification, analysis, transformation and specialization, and constraints. This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Logic Based Program Synthesis and Transformation (Paperback)
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2006
ISBN 10: 3540326545 ISBN 13: 9783540326540
Language: English
Paperback. Condition: new. Paperback. 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. Constitutes the refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, that was held in September 2005. This book presents 10 papers together with one invited talk that are organized in topical sections on tools for program development, program transformations, and more. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Logic-Based Program Synthesis and Transformation (Paperback)
Published by Springer Nature Switzerland AG, Cham, 2019
ISBN 10: 3030138372 ISBN 13: 9783030138370
Language: English
Paperback. Condition: new. Paperback. This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into the following topics: analysis of term rewriting; logic-based distributed/concurrent programming; analysis of logic programming; and program analysis. This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
