Copied Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
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
|
|
$54.99 | $54.99 |
|
$54.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Aqueous Solutions of Simple Electrolytes
$39.99
Eine transdisziplinre Einfhrung in die Welt der Kybernetik
$39.99
Keyboard, Graphic and Handwriting Skills
$54.99
Electron Emission in Heavy Ion-Atom Collisions
$109.99
Smart Biolabs of the Future
$169.00
Biological and Bio-inspired Nanomaterials
$179.99
Begrndung der Funktionentheorie
$69.95
Moderne Methoden der Numerischen Mathematik
$49.99
Statics for Students
$54.99
Konvergenz des Rechnungswesens
$89.99
Introduction to Quantum Computing with Q# and QDK
$64.99
Algorithms from and for Nature and Life
$84.99
An Introduction to Markov Processes
$64.99
Practical Android
$49.99
The Three Little Superpigs: Once Upon A Time
$4.49
The Secret Science Alliance and the Copycat Crook
$8.96
Emerging Technologies for Education
$54.99
Neural Networks
$54.99
Zur Sedimentation und Epirogenese im Ruhrkarbon
$49.99
Smarter Homes
$34.99
Parallel Scientific Computing and Optimization
$84.99
Herzinfarkt
$59.99
Blast Disease of Cereal Crops
$169.99
Die Organisation der wissenschaftlichen Arbeit
$59.99
Medicines and Risk/Benefit Decisions
$39.99
Relativistic Quantum Measurement and Decoherence
$39.99
Virus-Resistant Transgenic Plants: Potential Ecological Impact
$109.99
Argentina under Pern, 197376
$44.99
Early Modern Tragedy, Gender and Performance, 1984-2000
$39.99
Advanced Concepts for Intelligent Vision Systems
$39.99
Piraterie in der Filmindustrie
$89.99
Advanced Topics in Computer Vision
$84.99
Proceedings of Innovative Computing 2024, Vol. 2
$129.00
Developing Web Components with TypeScript
$64.99
Continuum Mechanics and Applications in Geophysics and the Environment
$109.99
Digitalization of Society, Economics and Management
$169.99
A Comprehensive Treatment of q-Calculus
$109.99
The Hudson River Ecosystem
$84.99
Dauermagnete
$74.99
