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

Aqueous Solutions of Simple Electrolytes

$39.99

Eine transdisziplinre Einfhrung in die Welt der Kybernetik

$39.99

Keyboard, Graphic and Handwriting Skills

$54.99

Electron Emission in Heavy Ion-Atom Collisions

$109.99

Smart Biolabs of the Future

$169.00

Biological and Bio-inspired Nanomaterials

$179.99

Begrndung der Funktionentheorie

$69.95

Moderne Methoden der Numerischen Mathematik

$49.99

Statics for Students

$54.99

Konvergenz des Rechnungswesens

$89.99

Introduction to Quantum Computing with Q# and QDK

$64.99

Algorithms from and for Nature and Life

$84.99

An Introduction to Markov Processes

$64.99

Practical Android

$49.99

The Three Little Superpigs: Once Upon A Time

$4.49

The Secret Science Alliance and the Copycat Crook

$8.96

Emerging Technologies for Education

$54.99

Neural Networks

$54.99

Zur Sedimentation und Epirogenese im Ruhrkarbon

$49.99

Smarter Homes

$34.99

Parallel Scientific Computing and Optimization

$84.99

Herzinfarkt

$59.99

Blast Disease of Cereal Crops

$169.99

Die Organisation der wissenschaftlichen Arbeit

$59.99

Medicines and Risk/Benefit Decisions

$39.99

Relativistic Quantum Measurement and Decoherence

$39.99

Virus-Resistant Transgenic Plants: Potential Ecological Impact

$109.99

Argentina under Pern, 197376

$44.99

Early Modern Tragedy, Gender and Performance, 1984-2000

$39.99

Advanced Concepts for Intelligent Vision Systems

$39.99

Piraterie in der Filmindustrie

$89.99

Advanced Topics in Computer Vision

$84.99

Proceedings of Innovative Computing 2024, Vol. 2

$129.00

Developing Web Components with TypeScript

$64.99

Continuum Mechanics and Applications in Geophysics and the Environment

$109.99

Digitalization of Society, Economics and Management

$169.99

A Comprehensive Treatment of q-Calculus

$109.99

The Hudson River Ecosystem

$84.99

Dauermagnete

$74.99