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
Implizite Logiken des pdagogischen Blickes
$44.99
Academic Spin-offs
$129.00
Vom schlichten Sein zum schnen Schein?
$59.99
Battle Descriptions as Literary Texts
$79.99
Scaling Social Impact
$54.99
Information Security and Cryptology
$54.99
Riskante Entscheidungen und Katastrophenpotentiale
$44.99
Relations and Kleene Algebra in Computer Science
$54.99
C-H Bond Activation and Catalytic Functionalization I
$169.00
Gaussian Random Functions
$279.99
Buchfhrung und Bilanzen bei Nebenbahnen, Kleinbahnen und hnlichen Verkehrsanstalten
$54.99
Selected Advances in Nanoelectronic Devices
$84.99
Plasma Membrane Oxidoreductases in Control of Animal and Plant Growth
$39.99
Lebenssinn und Sinnverlust in Therapie und Beratung
$17.99
The Spatial and Temporal Dimensions of Interactions
$49.99
Dieselmotor-Management im berblick
$34.99
Functional Approaches to Spanish Syntax
$109.99
Mobilitt der Zukunft
$109.00
Ubiquitous Networking
$54.99
The Aesthetics of Clarity and Confusion
$99.99
Chaotic Dynamics and Transport in Classical and Quantum Systems
$169.99
Little Learner Packets: Alphabet
$9.74
General Principles and Etiology
$39.99
Die Reformmglichkeiten des reichsbehrdlichen Zahlungsverkehrs
$59.99
New Urban Agenda in Zimbabwe
$159.99
Nursing: Health Education and Improving Patient Self-Management
$39.99
Albert the Great (c. 11931280) and the Configuration of the Embryo
$119.99
The Revelry (Hardcover)
$14.24
Disciplinary Convergence in Systems Engineering Research
$329.99
Rule-Governed Behavior
$139.99
Temporality in Life As Seen Through Literature
$129.00
Rediscovering the Essentiality of Marketing
$89.00
Modern Instrumentation for Scientists and Engineers
$39.99
Nutzungsabhngige Preissysteme auf industriellen Mrkten
$64.99
Seismic Resistant Steel Structures
$54.99
Bilddokumentation mit der Spaltlampe
$199.99
Exporting Essentials
$29.99
Efficient Design of Variation-Resilient Ultra-Low Energy Digital Processors
$109.99
Transitions Before the Transition
$84.99
The Hatfield Lunar Atlas
$69.99
