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 |
|
$49.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Retrospection and Revision in Modern and Contemporary Art, Literature and Music
$139.99
Causation and Laws of Nature
$169.99
Semantic Multimedia
$39.99
Shallow Water Waves on the Rotating Earth
$54.99
Intelligent and Fuzzy Systems
$219.99
Taiwans Party Politics and Cross-Strait Relations in Evolution (20082018)
$109.99
Gendered Agency in War and Peace
$159.99
The Novel and Europe
$39.99
geoENV VI Geostatistics for Environmental Applications
$109.99
Digital Transformation in Accounting and Auditing
$179.99
Nietzsche and the Spirit of Tragedy
$39.99
Challenges in Mechanics of Time-Dependent Materials and Processes in Conventional and Multifunctiona
$219.99
110 Prozent
$44.99
Landside Accessibility of Airports
$139.00
Ancient and Modern Religion and Politics
$54.99
Nonlinear Time Series and Signal Processing
$39.99
European Retail Research
$54.99
Voice and New Writing, 1997-2007
$54.99
Investition I
$39.99
Was keine Geschichte ist
$69.99
Dylan Thomas
$39.99
Wie werde ich eine DIVA?
$37.99
The Healthcare Value Chain
$39.99
Strategisches Controlling in international ttigen Konzernen
$69.99
Graphs and Combinatorial Optimization: from Theory to Applications
$179.99
Tolerance and Dissent within Education
$79.99
Be An Expert!: What is the Weather?
$4.49
Transportome Malfunction in the Cancer Spectrum
$159.99
Lymphocyte Trafficking in Health and Disease
$169.99
Analog Circuit Simulators for Integrated Circuit Designers
$79.99
Machine Learning and Interpretation in Neuroimaging
$49.99
Artificial Nutrition and Hydration
$249.99
Arrangements, Local Systems and Singularities
$109.99
Ich lerne wie ein Zombie
$29.99
Pragmatische Urteile in der unmittelbaren Patientenversorgung
$64.99
Philosophische Bildung und Didaktik
$44.99
Kriminalittsfurcht: Messung und methodische Probleme
$64.99
The Nation in the History of Marxian Thought
$54.99
Leukemia Stem Cells
$219.99
Factorization Method in Quantum Mechanics
$109.99
