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

Bio-Clean Energy Technologies: Volume 1

$189.00

Submarine Mass Movements and Their Consequences

$169.99

Thea Stilton: Black Forest Burglary (#30)

$6.74

Modeling with UML

$39.99

Vorlesungen ber hhere Mathematik

$49.99

Communist Legislatures in Comparative Perspective

$39.99

Mathematics Education in a Neocolonial Country: The Case of Papua New Guinea

$139.99

The Artful Economist

$129.00

Duplexsonographie der oberflchlichen Beinvenen

$139.99

The Meiji Restoration

$54.99

Strategic Cultures in the Asia-Pacific Region

$169.99

Stress Echocardiography

$84.99

Sulphur in Plants

$219.99

Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future

$219.99

EISS Yearbook 19801981 Part II / Annuaire EISS 19801981 Partie II

$54.99

Familienunternehmen und Brse

$69.99

The Extra-Intracranial Bypass Operation for Prevention and Treatment of Stroke

$39.99

Investing in E-Health

$84.99

Legendary Fun! (Pokemon Comictivity #2) by Meredith Rusu

$11.99

From After Effects to Flash

$49.99

Parallele Programmierung mit Modula-2

$49.99

Neuro-vascular Neuro-ophthalmology

$84.99

Stroh Formalism and Rayleigh Waves

$39.99

The Resilience Framework

$149.00

Breathing on the Roof of the World

$119.00

Oxygen Transport To Tissue XXIII

$169.99

Das politische System Mexikos

$59.99

The UNSCOM Saga

$109.99

Entwicklung eines Verfahrens zur Bestimmung der Verkokungswrme kleiner Mengen Steinkohle

$59.99

Contemporary Topics in Polymer Science

$39.99

Kopfschmerzen und Migrne

$54.99

Outsourcing Border Control

$44.99

Current Issues in Computational Linguistics: In Honour of Don Walker

$84.99

A House Is a House for Me

$5.96

Common Security and Strategic Reform

$69.99

Zahnarztpraxis - erfolgreiche Abgabe

$49.99

The Utilization of Bioremediation to Reduce Soil Contamination: Problems and Solutions

$219.99

Political Psychology

$109.99

I. J. Schoenberg Selected Papers

$54.99

Environmental Systems Engineering

$84.99