Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Logic-Based Program Synthesis and Transformation
Best Price (Coupon Required):
Buy Logic-Based Program Synthesis and Transformation for $49.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$54.99 | $54.99 |
|
10% OFF
This deals requires coupon
|
$49.50 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Die neuen Vorschriften in der Eisenbahn-Verkehrsordnung vom 26. Oktober 1899
$59.99
Shyness and Society
$39.99
Early Global Interconnectivity across the Indian Ocean World, Volume I
$139.99
Thrombozytenfunktion bei neurologischen Erkrankungen
$69.99
Address Practice As Social Action
$59.99
Softwaretechnik
$59.99
Deutsche Syntax
$29.99
Radical Spaces of Poetry
$54.99
Komplexe Natur Komplexe Wissenschaft
$49.99
RP2040 Assembly Language Programming
$54.99
Privacy-Invading Technologies and Privacy by Design
$89.99
Visual Explorers: Ocean Life
$5.21
Dandy and the Herald
$54.99
Helminth Zoonoses
$129.00
Assessing Second Language Pragmatics
$109.99
OSS Reliability Measurement and Assessment
$109.99
Contemporary Issues in Environmental Law
$109.99
Betriebswirtschaftslehre und Recht
$69.99
Fungal Biopolymers and Biocomposites
$249.99
Hospitality, Home and Life in the Platform Economies of Tourism
$44.99
Sozialwirtschaft kompakt
$17.99
Radiopharmaceuticals for Therapy
$159.99
Artificial Intelligence and Mobile Services AIMS 2020
$39.99
Positioning and Navigation Using Machine Learning Methods
$159.99
Intersections of Contemporary Art, Anthropology and Art History in South Asia
$169.99
Spectatorship and Film Theory
$39.99
Uncovering Covert Innovation
$99.99
Programming Languages and Systems
$39.99
Immersive Systemic Knowing
$159.99
Recipient Vessels in Reconstructive Microsurgery
$149.00
The Homotopy Index and Partial Differential Equations
$54.99
The Other Special Relationship
$139.99
The Many-Body Problem. Jastrow Correlations Versus Brueckner Theory
$84.99
Hypermedia
$69.99
IT-Organisation in der digitalen Transformation
$17.99
Nollywood in Glocal Perspective
$89.00
Computer Aided Systems Theory - EUROCAST 2003
$109.99
Gattung und Einzelwerk im symphonischen Frhwerk Cajkovskijs
$39.99
Nanotechnology for Energy and Environmental Engineering
$169.99
Image and Video Encryption
$84.99
