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

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.

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

Beyond the Crystalline State

$54.99

Sozialversicherungsrecht

$59.99

National Geographic Kids Readers: All About Bears (Pre-Reader)

$3.71

Vereinbarungen zur einheitlichen Untersuchung und Beurtheilung von Nahrungs- und Genussmitteln sowie

$59.99

Multimedia Database Systems

$84.99

Energy Efficiency in Househould Appliances and Lighting

$219.99

Flotation Reagents: Applied Surface Chemistry on Minerals Flotation and Energy Resources Beneficiati

$109.99

Ready-to-Read Pre-Level 1 - My First.: My First Gymnastics Class

$3.71

International Environmental Law and Policy in Africa

$169.99

Politics and Religion in Modern Japan

$109.99

Autonome Innervation des Herzens

$59.99

Cultivating the Confucian Individual

$119.00

Quasiconformal Mappings and Sobolev Spaces

$39.99

Advances in Network-Based Information Systems

$219.99

China Satellite Navigation Conference (CSNC) 2020 Proceedings: Volume III

$219.99

Thermodynamic Basis of Crystal Growth

$109.99

Abrahamic Reflections on Randomness and Providence

$59.99

About Habitats: Grasslands

$5.21

International Joint Conference 16th International Conference on Computational Intelligence in Securi

$199.99

Fahrwerk

$99.00

Becoming a Family Physician

$84.99

Spirituality in Systemic Family Therapy Supervision and Training

$169.99

Software Engineering and Computer Systems, Part II

$109.99

Conflict in World Politics

$109.99

Membrane Toxicity

$84.99

Endocrinology of Cardiovascular Function

$219.99

Corruption Networks

$79.99

Introduction to Mathematical Systems Theory

$69.99

Ergebnisse 25 jhriger Sichtbeobachtungen auf dem Knigstuhl bei Heidelberg

$54.99

Die Hochschule als interkultureller Aushandlungsraum

$49.99

Psychotherapiepatienten als Datenstze

$17.99

Die Entwickelung der Automatischen Telegraphie

$59.99

Pro Oracle Spatial for Oracle Database

$39.99

Mathematics, Administrative and Economic Activities in Ancient Worlds

$159.99

Strategic Orientation and Alliance Portfolio Configuration

$39.99

Numerische Steuerung einer flexiblen Bearbeitungseinheit zum Radialumformen

$69.99

Thermodynamik der Mischphasen

$54.99

Global Gravity Field Modeling from Satellite-to-Satellite Tracking Data

$119.99

Minerals as Advanced Materials II

$169.99

Civil War in Bosnia 199294

$54.99