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 $36.00 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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. 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.
Reviews
Questions & Answers
Was alles hinter Namen steckt
$17.99
Kalkulation im Einkauf
$17.99
Beyond Smart Cities
$169.99
The Securitisation of Migration in the EU
$54.99
Digital Enterprise Design and Management 2013
$169.99
Advances in Web-Age Information Management
$39.99
Aspects of Homogeneous Catalysis
$84.99
Bioinorganic Chemistry of Copper
$169.99
Time-Space, Spiking Neural Networks and Brain-Inspired Artificial Intelligence
$299.99
Schwann Cells
$84.99
Michael Speransky Statesman of Imperial Russia 17721839
$54.99
Medical Image Computing and Computer Assisted Intervention MICCAI 2023
$99.99
Formulieren und Variieren mathematischer Fragestellungen mittels digitaler Werkzeuge
$64.99
Supply Chain Resilienz
$69.99
Von der Gasse zum ffentlichen Raum
$69.99
Kleines Lexikon griechischer Autoren
$17.99
A Biosemiotic Ontology
$99.99
Global Differential Geometry and Global Analysis 1984
$34.99
Raising of Microvascular Flaps
$99.00
Aquaculture Microbiology
$149.00
Foundations of Chemical Reaction Network Theory
$159.99
Bioenergy Research: Revisiting Latest Development
$139.99
The Success of English Land Tax Administration 16431733
$69.99
Neuropsychologisches Befundsystem fr die Ergotherapie
$34.99
Sensory Branding
$69.99
Shelley's German Afterlives
$39.99
Optimierung von Verhandlungsteams
$69.99
Weibliche Geschlechtsorgane
$44.99
Non-Vascular Interventional Radiology of the Abdomen
$39.99
19th Nordic-Baltic Conference on Biomedical Engineering and Medical Physics
$219.99
Multiple Objective Control Synthesis
$84.99
The Discourse of ADHD
$119.00
Probability and Statistical Models in Operations Research, Computer and Management Sciences
$149.00
Measurement, Monitoring, Modelling and Control of Bioprocesses
$329.99
Sexually Harmful Youth
$39.99
Psychologische Bewertung von Arbeitsgestaltungsmanahmen
$24.99
Industriebetriebslehre, kurzgefat
$59.99
Spurenelementanalyse von Umweltchemikalien durch ioneninduzierte Rntgenstrahlung
$59.99
Counsellor Competencies
$54.99
Grundlagen der Netzwerkforschung
$49.99
