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 Program Synthesis and Transformation
Best Price (Coupon Required):
Buy Logic 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 strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996. The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.
Reviews
Questions & Answers
Imagining the Futures of Higher Education in Southern Africa
$199.99
The Uses of Antiquity
$169.00
Human Cell Transformation
$169.99
Dependability of Critical Computer Systems 1
$54.99
Edification in the Chinese Philosophy of Confucianism
$49.99
Pro Power BI Architecture
$69.99
In vitro Diagnostic Medical Devices: Law and Practice in Five EU Member States
$109.99
Academic Freedom in the Post-9/11 Era
$54.99
Understanding and Interpreting Economic Structure
$169.99
Leben nach Luther
$49.99
An Anthropological Study of Spirits
$129.00
Proceedings of the 3rd International Symposium of Information and Internet Technology (SYMINTECH 201
$219.99
The Future of Digital Business Innovation
$84.99
Collaboration in a Data-Rich World
$109.99
Heterogeneous Processes of Geochemical Migration
$39.99
7th International Conference on University Learning and Teaching (InCULT 2014) Proceedings
$169.00
Kommissionierung
$119.99
CETA's Investment Chapter
$139.99
Sustainable Retail Development
$129.00
Biotechnology and Public Engagement in Europe
$39.99
Web Information Systems Engineering WISE 2020
$54.99
Modern Mysteries of the Moon
$49.99
Weiterbildung Radiologie
$39.99
Zentrale Blutdruckregulation durch 2-Rezeptorenstimulation
$59.99
Interactive Distributed Multimedia Systems and Telecommunication Services
$39.99
Macmillan Dictionary of Historical Terms
$19.99
Gordon Ramsay Quick and Delicious- 100 Recipes to Cook in 30 Minutes or Less by Gordon Ramsay
$32.00
Petrology of the Metamorphic Rocks
$109.99
The Changing Academic Profession in Hong Kong
$84.99
Probabilistic fracture mechanics and reliability
$169.99
Functionalized Polymers and their Applications
$169.99
Contemporary Geriatric Medicine
$39.99
IUTAM Symposium on Mechanical Behavior and Micro-Mechanics of Nanostructured Materials
$169.99
First Little Readers: More Guided Reading Level A (Multiple-Copy Set)
$69.75
Catalysis and Zeolites
$329.99
Digital Transformation
$169.99
The State of the Art in Computational Intelligence
$54.99
Process Control for Sheet-Metal Stamping
$79.99
A Crash Course in Mathematica
$49.95
The Vascular Cambium
$139.00
