Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices
Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers eBook
$69.99 Original price was: $69.99.$14.00Current price is: $14.00.
By: Germán Vidal
Publisher: Springer
Print ISBN: 9783642322105, 3642322107
eText ISBN: 9783642322112, 3642322115
Edition: 1st
Copyright year: 2012
eText ISBN: 9783642322112
SKU: 9783642322112
Category: Trending
Tags: Computers, Intelligence (AI) & Semantics
Print ISBN: 9783642322105
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.
Be the first to review “Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers eBook” Cancel reply
You must be logged in to post a review.
Related products
-38%
Bestsellers
eText ISBN: 9781423207733
$6.65 Original price was: $6.65.$4.10Current price is: $4.10.
-38%
Bestsellers
eText ISBN: 9781440336683
$21.65 Original price was: $21.65.$13.34Current price is: $13.34.
-38%
Bestsellers
eText ISBN: 9780735637887
$23.32 Original price was: $23.32.$14.37Current price is: $14.37.
-38%
eText ISBN: 9781786466112
$48.32 Original price was: $48.32.$29.77Current price is: $29.77.
-38%
eText ISBN: 9780133838497
$59.98 Original price was: $59.98.$36.95Current price is: $36.95.
-38%
Bestsellers
eText ISBN: 9781423209584
$6.65 Original price was: $6.65.$4.10Current price is: $4.10.
-38%
eText ISBN: 9781119298625
$63.32 Original price was: $63.32.$39.01Current price is: $39.01.
-38%
eText ISBN: 9781466565043
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
Reviews
There are no reviews yet.