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

$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

First Floridians and Last Mastodons: The Page-Ladson Site in the Aucilla River

$329.99

Coastal Ocean Observing

$129.99

Heterogeneous Wireless Access Networks

$109.99

Intelligent Human Systems Integration 2019

$219.99

Marxism and the Leninist Revolutionary Model

$54.99

Unternehmensinformation mit SAP-EIS

$54.99

Leitidee Daten und Zufall

$39.99

Nitroarenes

$39.99

The Foundations of Expected Utility

$219.99

Image and Video Compression Standards

$259.00

Poetry for Young Readers Grades K-3

$25.00

Scraps of Time: Away West

$5.21

Information Technologies in Environmental Engineering

$219.99

Recent Advances in Nonlinear Dynamics and Synchronization

$109.99

Formative Modellierung in Psychologie und Erziehungswissenschaft

$59.99

Handbook of Fractional-Horsepower Drives

$169.99

Archaeology, Cultural Heritage Protection and Community Engagement in South Asia

$44.99

Smart Technologies for Energy, Environment and Sustainable Development, Vol 1

$279.99

The Evaluation of New Antiarrhythmic Drugs

$54.99

Im Fokus: Palontologie

$19.99

Nonprofit Social Enterprises

$129.00

Reimag(in)ing the Victorians in Contemporary Art

$89.00

Copper, Molybdenum, and Vanadium in Biological Systems

$74.99

The Definitive Guide to Jython

$69.99

Housing Policy Systems in South and East Asia

$109.99

Creating Holistic Technology-Enhanced Learning Experiences

$49.99

Micropolar Elasticity

$54.99

Creating Google Chrome Extensions

$39.99

Enriching Business Ethics

$169.99

Ethical Responsiveness and the Politics of Difference

$119.99

Mycorrhizal Fungi: Use in Sustainable Agriculture and Land Restoration

$199.99

Computer Applications in Production Engineering

$329.99

Labyrinth of Thought

$149.00

Parameter Identification of Materials and Structures

$84.99

Machine Learning and Data Mining Approaches to Climate Science

$169.99

Generalized Functions, Convergence Structures, and Their Applications

$39.99

Ein Informationssystem fr Instandhaltungsleitstellen

$64.99

Berichte zur Lebensmittelsicherheit 2006

$29.99

Extreme Photoshop CS

$39.99

Biochemical Roles of Eukaryotic Cell Surface Macromolecules

$219.99