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 refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995. The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs.
Reviews
Questions & Answers
Die Lehre vom Vorstellen als Einleitung in die Philosophie
$59.99
EBM 2020 Kommentar Innere Medizin mit allen Schwerpunkten
$69.99
Optical Signal Processing
$109.99
Klinische Neurologie
$259.00
Global Tea Breeding
$249.99
Real Estate Issues in the Health Care Industry
$84.99
Common Bacterial Infections in Infancy and Childhood
$54.99
Llama Llama Time to Share
$5.21
White-Collar Unionism
$29.99
Orientation in Birds
$39.99
Human-Intelligence-Based Manufacturing
$54.99
Programmatic Advertising
$84.99
Handbook of Adhesives
$149.00
Basic, Clinical, and Therapeutic Aspects of Alzheimers and Parkinsons Diseases
$84.99
Advanced Bimanual Manipulation
$109.99
Lecture Notes in Computational Intelligence and Decision Making
$129.00
Stray Dog of Anime
$54.99
SOFSEM 2010: Theory and Practice of Computer Science
$84.99
R. Edward Freemans Selected Works on Stakeholder Theory and Business Ethics
$119.99
The ABC's of Science, Technology & Innovation (STI) Policy
$129.99
Einfhrung in die Halbleiter-Schaltungstechnik
$39.99
Pantheon der Dermatologie
$159.99
Mittheilungen aus den Kniglichen technischen Versuchsanstalten zu Berlin
$49.99
Nonlinear Programming Codes
$54.99
Multimedia-Kurs Datenbanksysteme
$69.99
Reforming Urban Governance in Bangladesh
$44.99
Region und unitarische Struktur in Grobritannien / Regionalism and Unitary Structure in Great Brita
$74.99
Introduction to Information Visualization
$49.99
Digital Approaches to Promoting Integration in Higher Education
$54.99
The International Dimension of Entrepreneurial Decision-Making
$129.00
The Risk of Water Conflicts in Aotearoa-New Zealand
$159.99
Rechtslehre des Versicherungswesens
$59.99
The Geography of Tourism of Central and Eastern European Countries
$219.99
Strategy
$39.99
Recommender Systems for Information Providers
$84.99
Nanovate
$109.99
Social History of Archaeology
$54.99
Membrane Handbook
$299.00
The Ballad of Songbirds and Snakes (Hunger Games Series Prequel) by Suzanne Collins
$27.99
Innovative Technologies and Learning
$54.99
