search for books and compare prices
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
By
Maria Alpuente (editor)
Price
Store
Arrives
Preparing
Shipping
Jump quickly to results on these stores:
The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Jump down to see edition details for: Paperback
Bibliographic Detail
Publisher
Springer-Verlag New York Inc
Publication date
June 28, 2011
Pages
248
Binding
Paperback
Book category
Adult Non-Fiction
ISBN-13
9783642205507
ISBN-10
364220550X
Dimensions
0.50 by 5.75 by 9 in.
Weight
0.90 lbs.
Published in
Europe
Original list price
$89.99
Summaries and Reviews
Amazon.com description: Product Description: This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
Editions
Paperback
The price comparison is for this edition
from Springer-Verlag New York Inc (June 28, 2011)
9783642205507 | details & prices | 248 pages | 5.75 × 9.00 × 0.50 in. | 0.90 lbs | List price $89.99
About: This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010.
About: This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010.
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.