Copied Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 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
Die Universitt Heidelberg und die Geburt der modernen Wissenschaft
$54.99
STEAM Education
$179.99
Delivering Sustainable Growth in Africa
$109.99
Hematopoietic Stem Cell Transplantation for the Pediatric Hematologist/Oncologist
$139.99
Competitive Differentiation within the Shipbuilding Industry
$84.99
Chemikalien und Drogen (CIG)
$54.99
Higher Education and Decolonization in Africa
$159.99
Mietenwahnsinn und explodierende Preise
$44.99
Fodor's Paris 2023 by Fodor's Travel Publications
$20.99
Tensoren und Felder
$59.99
My Moms Love Me
$3.00
Praxiswissen AutoCAD 14
$74.99
Corporate Banking
$49.99
Deregulation and the Banking Crisis in Nigeria
$109.99
The City in Urban Poverty
$54.99
in Nanostructures
$109.99
Understanding Other-Oriented Hope
$54.99
ber Raum, Zeit und Kausalitt
$59.99
Archaeology of Uplands on a Mediterranean Island
$54.99
Artificial Intelligence
$59.99
Software automatisch testen
$89.99
Combinatorial Engineering of Decomposable Systems
$169.99
Das C++ Tutorial
$29.99
Applied Ontology Engineering in Cloud Services, Networks and Management Systems
$109.99
Conduction and breakdown in dielectric liquids
$109.99
John Marston's Plays
$54.99
Queer Youth, Suicide and Self-Harm
$64.99
Screening and Risk Reduction Strategies for Breast Cancer
$169.99
Max & Mo: Max & Mo Go to School
$3.71
bersetzungspolitiken in der Frhen Neuzeit / Translation Policy and the Politics of Translation in
$44.99
Product Lifecycle Management. Green and Blue Technologies to Support Smart and Sustainable Organizat
$139.00
The Rise and Fall of the European Defence Community
$109.99
The Baking Bible by Rose Levy Beranbaum
$40.00
Intelligent Information and Database Systems
$109.99
Function and Specificity of / T Cells
$84.99
Russia in the European Context, 17891914
$54.99
Hybrid Artificial Intelligent Systems
$39.99
Tumor Invasion and Metastasis
$54.99
Foundations of Global Genetic Optimization
$109.99
Advances in Knowledge Discovery and Management
$139.00
