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 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.
Reviews
Questions & Answers
Psychopharmacology in Oncology and Palliative Care
$129.99
The Achilles of Rationalist Psychology
$84.99
Pedagogies in the Flesh
$139.99
Der Schdelschu
$79.99
Manipulating Quantum Coherence in Solid State Systems
$109.99
Microbial Control and Food Preservation
$249.99
Migration, Security, and Citizenship in the Middle East
$54.99
Emission Factors of Carbonaceous Particulate Matter and Polycyclic Aromatic Hydrocarbons from Reside
$109.99
Projektleiter-Praxis
$84.99
Heidelberger Jahrbcher
$59.99
Tribology in Materials and Applications
$169.99
Spectral Theory of Automorphic Functions
$54.99
Matchmaking in Middle Class India
$39.99
Basic Knowledge of Pharmacology
$99.99
Innovative Projektfhrung
$49.99
Stochastic Processes in Cell Biology
$84.99
Militrischer Dienstunterricht fr einjhrig-freiwillige Militrapotheker, Unter- und Oberapotheker
$59.99
Peren-Clement-Index
$17.99
Data Science in Cybersecurity and Cyberthreat Intelligence
$149.00
Backarc Basins
$219.99
Affektive, schizoaffektive und schizophrene Psychosen
$69.99
Statistical Analysis of Counting Processes
$54.99
Entwicklungsarbeiten auf dem Gebiete der Verhttung von Erzstaub in Schmelzkammern
$59.99
Untersuchungen ber Ausgewhlte Kapitel des Antiken Buchwesens
$59.99
Die Internet-Galaxie
$64.99
Bronchial Asthma
$129.99
Nuclear Structure and Function
$39.99
Microbes and Other Shamanic Beings
$39.99
Trust, Privacy and Security in Digital Business
$54.99
Feeding and Survival Srategies of Estuarine Organisms
$84.99
Eurasian Business Perspectives
$129.00
Essential Dynamic HTML fast
$39.95
Surgical Critical Care Therapy
$219.99
Probabilistic Structural Mechanics: Advances in Structural Reliability Methods
$129.00
Plant Mitochondria
$169.99
Qualitative Anorganische Analyse
$19.99
Business Process Management: Blockchain, Robotic Process Automation, Central and Eastern European, E
$64.99
Canada's Public Diplomacy
$27.99
Computational Intelligence in Data Mining
$249.99
Turgenev and England
$74.99
