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
9783642205514
Condition
New
Product Description

This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

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

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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
$39.99 $39.99

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Advanced Calculus of a Single Variable

$69.99

Genetic Programming

$54.99

Automatisierung von Anlagen der Stahlindustrie

$59.99

Zur Grippe-Pandemie 1957

$59.99

Kurzes Lehrbuch der Physiologischen Chemie

$44.99

The Emerging Constitutional Law of the European Union

$54.99

Soft Computing for Intelligent Control and Mobile Robotics

$169.99

Modeling Mineral and Energy Markets

$109.99

Graph-Theoretic Concepts in Computer Science

$54.99

Direkt-Marketing bei Banken

$59.99

Bonjour

$8.75

Tell Me No Lies (Hardcover)

$14.99

Applying the Science of Learning to Education

$159.99

Building Refurbishment for Energy Performance

$84.99

The Management of Defence

$39.99

Handbook of Childhood and Adolescent Obesity

$169.00

Sterben und Trauern in der modernen Gesellschaft

$44.99

The Character of the Manager

$84.99

Emotion and Information Processing

$39.99

Britannia Unchained

$37.99

A Bayesian Analysis of QCD Sum Rules

$109.99

The International Political Economy of Chinas Exchange Rate Policy Making

$129.99

Glycerol

$129.99

Bounded Incremental Computation

$39.99

The Process of Science

$84.99

Banks, Bankers, and Bankruptcies Under Crisis

$84.99

Graph-Grammars and Their Application to Computer Science

$84.99

A Theory of Elasticity with Microstructure for Directionally Reinforced Composites

$54.99

Power-Sharing in the Global South

$129.99

GeoSpatial Visual Analytics

$219.99

Die gesellschaftliche Macht des Geldes

$44.99

Introduction to the Foundations of Applied Mathematics

$39.99

Time-Space, Spiking Neural Networks and Brain-Inspired Artificial Intelligence

$299.99

Applied Human Factors and Ergonomics 2018

$549.99

Die Berechnung der Zylinderschalen

$44.99

National Geographic Kids Readers: Meteors

$3.71

Technologies of Memory in the Arts

$54.99

Farbhunger

$44.99

Progress in Cryptology INDOCRYPT 2016

$54.99

Legal Professionals in White-Collar Crime

$99.99