Copied Logic Based Program Synthesis and Transformation
Logic Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Irreversible Quantum Dynamics
$84.99
Unternehmensidentitt von Banken
$59.99
Kindler Kompakt: Spanische Literatur, 20. Jahrhundert
$19.99
Immersive Systemic Knowing
$159.99
Rechte Gewalt erzhlen
$74.99
Construction Materials
$99.99
Land Policy in China
$139.99
Imagination in Science
$109.99
Legal Fictions in Theory and Practice
$149.00
Erluterungen zu den Vorschriften fr die Errichtung von Starkstromanlagen mit Betriebsspannungen un
$49.99
The Fall of Apartheid
$84.99
Human Centred Intelligent Systems
$299.99
Communications, Signal Processing, and Systems
$449.99
Search Techniques in Intelligent Classification Systems
$54.99
Funktionalanalysis und Numerische Mathematik
$39.99
Developing Advanced English Language Competence
$119.00
Buddy Readers: Level C (Single-Copy Set)
$17.99
Advances in Computer, Communication and Computational Sciences
$169.00
Mitarbeiterbefragungen in kleinen und mittleren Unternehmen gezielt richtig durchfhren
$17.99
Biodiversity, Conservation and Sustainability in Asia
$189.00
Leitfaden fr Polizeibeamte in Frage- und Antwortform
$64.99
Endovascular Aneurysm Repair
$54.99
Evolution in Action
$169.00
Intracorporeal Anastomosis
$59.99
Mit dem kranken Partner leben
$64.99
The Value of RFID
$109.99
Software-Ergonomie
$59.99
Advances in Hybridization of Intelligent Methods
$84.99
konomie des Bauens
$64.99
Education for Animal Welfare
$169.99
Recognition of Governments
$199.99
Intelligent Tutoring Systems
$54.99
Islamic Finance Practices
$84.99
Rule Technologies: Foundations, Tools, and Applications
$54.99
Scholastic Discover More: El antiguo Egipto (Hardcover)
$9.74
Geological History of the Polar Oceans: Arctic versus Antarctic
$329.99
The Metamorphoses of Commedia dellArte
$139.99
Elements of Continuum Mechanics and Conservation Laws
$169.99
Mathematik fr Wirtschaftswissenschaftler
$59.99
Wavelets
$199.99
