Description: Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers, Paperback by Hanus, Michael (EDT), ISBN 3642005144, ISBN-13 9783642005145, Like New Used, Free shipping in the US 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 th. 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.
Price: 66.22 USD
Location: Jessup, Maryland
End Time: 2024-09-17T08:46:41.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Book Title: Logic-Based Program Synthesis and Transformation : 18th Internati
Number of Pages: IX, 185 Pages
Publication Name: Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Language: English
Publisher: Springer Berlin / Heidelberg
Publication Year: 2009
Subject: Programming / General, Software Development & Engineering / General, Compilers, Logic Design
Type: Textbook
Item Weight: 16 Oz
Author: Michael Hanus
Subject Area: Computers
Item Length: 9.3 in
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
![Logic Pro 7 Power! [With CDROM] by Merton, Orren](https://i.ebayimg.com/images/g/25MAAOSw0UNZcyo~/s-l600.webp)
