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

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

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

Goosebumps Most Wanted Special Edition: The Haunted Mask (#4)

$5.99

Mediterranean Protected Areas in the Era of Overtourism

$159.99

Systems and Optimization

$39.99

Mathematics of Approximation

$99.00

Advanced Computational Intelligence Paradigms in Healthcare - 2

$109.99

Indias Economy and Society

$169.99

Subtracting 3 Digits Grade 3 Differentiation Pack

$5.99

Area Studies at the Crossroads

$149.00

Restless Cities on the Edge

$99.99

Abwanderung und Migration in Mecklenburg und Vorpommern

$64.99

Entrepreneurship Education an Hochschulen fr Grnder und Nachfolger

$39.99

Cereal-Based Food Products

$199.99

Schweien und Lten mit Festkrperlasern

$64.99

Brain Acetylcholine and Neuropsychiatric Disease

$39.99

Grundlagen des Operations Research 3

$49.99

Work/Life City Limits

$54.99

Kindred- Neanderthal Life, Love, Death and Art by Rebecca Wragg Sykes

$20.00

Die Geradensysteme der erweiterten Polyedergruppen

$54.99

Transformationale Fhrung

$39.99

Berechnung der Kltemaschinen auf Grund der Entropie-Diagramme

$69.99

The Digital Platform Economy Index 2020

$69.99

CAD

$69.99

Politische Geschichte der Gegenwart

$44.99

Jahrbuch Medien-Pdagogik 4

$39.99

Sustainable Interdependent Networks

$109.99

Synergies Between Knowledge Engineering and Software Engineering

$109.99

Bret Easton Ellis

$39.99

Diabetes und Schwangerschaft

$89.00

Counselling Skills for Health Professionals

$54.99

Finite Elements in Structural Analysis

$109.99

Revealing Creativity

$54.99

Cosmochemical Evolution and the Origins of Life

$129.00

Die Energie der Marke

$59.99

Migration Ressourcen Biographie

$44.99

High-Performance Composite Structures

$199.99

A Better World, Inc

$37.99

Donald Trump and the 2018 Midterm Battle for Central New York

$54.99

Hemodynamic Aspects of Cerebral Angiomas

$54.99

Unser Krper - Ausdruck, Haltung, Krpersprache

$24.99

Love and Its Objects

$54.99