search for books and compare prices
cover image
Logic Based Program Synthesis and Transportation: 12th International Workshop, Lopstr 2002, Madrid, Spain, September 17-20, 2002 : Proceedings
By Lopstr 200 ( (other contributor)) and Michael Leuschel
Price
Store
Arrives
Preparing
Shipping
The price is the lowest for any condition, which may be new or used; other conditions may also be available. Rental copies must be returned at the end of the designated period, and may involve a deposit.
Jump down to see edition details for: Paperback
Bibliographic Detail
Publisher Springer Verlag
Publication date June 1, 2003
Pages 281
Binding Paperback
Book category Adult Non-Fiction
ISBN-13 9783540404385
ISBN-10 3540404384
Dimensions 0.75 by 6 by 9.25 in.
Weight 1 lbs.
Original list price $99.00
Summaries and Reviews
Amazon.com description: Product Description:

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.



Editions
Paperback
Book cover for 9783540404385
 
The price comparison is for this edition
from Springer Verlag (June 1, 2003)
9783540404385 | details & prices | 281 pages | 6.00 × 9.25 × 0.75 in. | 1.00 lbs | List price $99.00
About: 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.

Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.