Logic-Based Program Synthesis and Transformation
Format: Paperback
ISBN13: 9783642381966
Paperback|9783642381966
✨ Featured Offer
Brand New
$75.50
List Price: $72.00
🚚
See all 3 offers from $75.50 FREE standard delivery by: 31 Mar 2026
Overview
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 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.
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 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.
| ISBN-13 | 9783642381966 |
|---|---|
| ISBN-10 | 3642381960 |
| Weight | 0.80 Pounds |
| Dimensions | 6.10 x 0.58 x 9.25 In |
| List Price | $72.00 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | x, 245 pages |
| Publisher | Springer |
| Published On | 2013-05-03 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
GreatBookPrices-
Columbia, MD, USA
100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
Free delivery by: 31 Mar 2026
Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Trade paperback (US). Glued binding. 245 p. Contains: Unspecified, Illustrations, b...
Free delivery by: 31 Mar 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 31 Mar 2026