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

Monte Carlo Methods

$39.99

Romanticism and Pragmatism

$54.99

Yearbook of Corpus Linguistics and Pragmatics 2015

$109.99

Strategic Management and Public Service Performance

$109.99

Bacterial Metabolites in Sustainable Agroecosystem

$129.00

The Sustainable Development Goals in Higher Education

$29.99

Das Sehen in der Dmmerung

$59.99

Gastroenterologie

$69.99

Random Ordinary Differential Equations and Their Numerical Solution

$119.00

Umrisse einer zeitgemen philosophischen Theologie im Islam

$69.99

Technological Advancement in Algal Biofuels Production

$249.99

Atheist Identities - Spaces and Social Contexts

$39.99

Wissensbasen und Expertensysteme in der Medizin

$44.99

Heterogeneous Facial Analysis and Synthesis

$54.99

Gamification and Consumer Engagement

$109.00

An Outline of the Recent History of Indonesian Criminal Law

$54.99

Judges and Adjudication in Constitutional Democracies: A View from Legal Realism

$169.99

Medical Imaging and Augmented Reality

$54.99

Strategic Followership

$109.99

Cardiac Glycosides 17851985

$169.99

Proceedings of the 19th International Symposium on Advancement of Construction Management and Real E

$169.00

Innovative Systems Approach for Designing Smarter World

$169.99

Governance im Bildungssystem

$64.99

Walter Gautschi, Volume 1

$84.99

Wetland Plants

$149.00

Cross Generational Relationships and Cinema

$84.99

Rational, Robust, and Secure Negotiations in Multi-Agent Systems

$109.99

Renaissance Averroism and Its Aftermath: Arabic Philosophy in Early Modern Europe

$84.99

Nanostructured Materials for Next-Generation Energy Storage and Conversion

$329.99

Das Pendeln bei Gleichstrommotoren mit Wendepolen

$84.99

Zur Entstehung und Eigenart der Nordgrenzen Roms

$54.99

Objects and Identity

$109.99

Arthroscopic Techniques and Anatomy of the Foot and Ankle

$219.99

Reforming the European Commission

$39.99

Italian Colonialism

$109.99

The Nature of Statistical Evidence

$54.99

Railway Transportation in South Asia

$179.99

Blue Rider

$6.71

Chumfley

$4.46

Die Wahrnehmung von Landschaft in sozialen Medien

$64.99