Description: Logic-Based Program Synthesis and Transformation Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers Author(s): Germ?n Vidal Format: Paperback Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K ISBN-13: 9783642322105, 978-3642322105 Synopsis This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
Price: 35.88 GBP
Location: Aldershot
End Time: 2024-12-22T12:39:54.000Z
Shipping Cost: 28.54 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Logic-Based Program Synthesis and Transformation
Number of Pages: 254 Pages
Language: English
Publication Name: Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Publisher: Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
Publication Year: 2012
Subject: Computer Science, Mathematics
Item Height: 235 mm
Item Weight: 409 g
Type: Textbook
Author: German Vidal
Series: Theoretical Computer Science and General Issues
Item Width: 155 mm
Format: Paperback
