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

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

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

Single Product Purchase

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

$39.99
See Site In stock Visit Store

Similar Products

Emerging Market Capital Flows

$169.99

AO/ASIF Instruments and Implants

$119.00

Econometric Modelling of European Money Demand

$54.99

The Science of Life

$39.99

Invariant Theory

$29.99

Manual of Head and Neck Imaging

$89.00

The World Yearbook of Robotics Research and Development

$54.99

Enzyme Physics

$39.99

Programming Languages and System Architectures

$39.99

Contemporary Issues of Migration and Theology

$84.99

Clastic Hydrocarbon Reservoir Sedimentology

$219.99

Wollen Sie wirklich Wissenschaftler werden?

$19.99

Verlust, Abschied und Trauer in der Physiotherapieausbildung

$64.99

The Smallest Anthropoids

$169.00

Polish Essays in the Methodology of the Social Sciences

$109.99

Landolt-Brnstein set 2017

$44,053.20

Private Banking und Wealth Management

$89.99

Implizite Runge-Kutta-Formeln

$59.99

Scholastic Science Readers Level 1: Thunder and Lightning

$5.21

Medievalism and Orientalism

$54.99

Advances in NMR Spectroscopy for Lipid Oxidation Assessment

$39.99

Animal Neopragmatism

$39.99

Unternehmensfhrung und Informationssystem

$69.99

Special Applications

$84.99

Islam Dot Com

$109.99

Acne

$74.99

Cartilage Injury of the Knee

$159.99

Steuerungstechnik im Maschinenbau

$49.99

Evolution of Atopic Dermatitis in the 21st Century

$159.99

Analog Circuit Design

$169.99

Emil du Bois-Reymond (18181896) Anton Dohrn (18401909)

$59.99

The Ruby Code

$5.99

Der zahnlose Unterkiefer

$59.99

Scientific Approaches to the Philosophy of Religion

$54.99

The Transfer and Diffusion of Information Technology for Organizational Resilience

$84.99

Complex Geometry

$64.99

Armament, Arms Control and Artificial Intelligence

$84.99

Neurologic Stem Cell Surgery

$39.99

Metallurgische Berechnungen

$84.99

Bioengineering and Biomedical Signal and Image Processing

$99.99