Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642322105
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $54.99 - $54.99
BEST PRICE

Single Product Purchase

$54.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$54.99 $54.99

$54.99
See Site In stock Visit Store

Similar Products

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