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 presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.
Reviews
Questions & Answers
Recent Trends in Theoretical Psychology
$109.99
Chemie und Struktur der Pflanzen-Zellmembran
$59.99
A State Space Approach to Canonical Factorization with Applications
$109.00
The Formulation of Matrix Mechanics and Its Modifications 19251926
$219.99
Sustainable Interdependent Networks
$109.99
Electrical Atomic Force Microscopy for Nanoelectronics
$199.99
Fundamental Problems in Breast Cancer
$169.00
Reliability and Survival Analysis
$99.00
Travel and Identity: Studies in Literature, Culture and Language
$39.99
Massen-Tafeln zur Bestimmung des Gehaltes stehender Bume an Kubikmetern fester Holzmasse
$69.99
Perpetrating Selves
$109.99
The Gift of Education
$54.99
Eduard Bernstein on Social Democracy and International Politics
$169.99
Social Capital and Enterprise in the Modern State
$129.00
Large-Scale Oceanographic Experiments and Satellites
$169.99
Algorithmic Learning in a Random World
$199.99
Die Nachfolge im Familienunternehmen ganzheitlich regeln
$69.99
Si Detectors and Characterization for HEP and Photon Science Experiment
$109.99
Adjuvant Therapies of Cancer
$109.99
E-Commerce und Hackerschutz
$69.99
Photon Management Assisted by Surface Waves on Photonic Crystals
$54.99
Insight into Magnetorheological Shock Absorbers
$109.99
Eurasian Business and Economics Perspectives
$199.99
Marswalk One
$39.99
Gender and Nonverbal Behavior
$39.99
Africans on African-Americans
$39.99
Corporate Social Responsibility and Corporate Governance
$109.99
Sustainable Digital Communities
$109.99
Laser Physics at Relativistic Intensities
$109.99
Distinguished Figures in Mechanism and Machine Science
$109.99
Arbeit eine Neubestimmung
$74.99
An Anthology of Theories and Models of Design
$169.99
Phylogenetic Diversity
$169.99
Modelling and Inverse Problems of Control for Distributed Parameter Systems
$39.99
Merci Surez: Merci Surez Changes Gears
$6.71
Versuche mit ummantelten Schraubenpropellern zur Ermittlung der Mastab-Kennzahl
$59.99
Traffic Monitoring and Analysis
$44.99
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science
$39.99
Internationalization, Innovation and Sustainability of MNCs in Latin America
$109.99
Forensic Aspects of Pediatric Fractures
$159.99
