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

Computer-Human Interaction Research and Applications

$64.99

Preventing Youth Problems

$54.99

Understanding the Generality of Mathematical Statements

$49.99

Microstructure Atlas of P22 Steel

$159.99

Perspektiven des Dienstleistungsmanagements

$64.99

Peacekeeping in Africa

$109.99

Technologies of Memory in the Arts

$54.99

Structure-Oriented Evaluation

$49.99

Thermodynamics and Energy Conversion

$89.00

Internationalisierung der Rechnungslegung

$69.99

Minimale cerebrale Dysfunktion und/oder Hyperaktivitt im Kindesalter

$59.99

Anaphylaxis

$89.99

Liberalism and Islam

$39.99

Face Image Analysis by Unsupervised Learning

$84.99

Soziales Kompetenztraining

$79.99

Neonatal Screening for Inborn Errors of Metabolism

$129.00

NF-B Transcription Factors

$249.99

Challenging Global Development

$59.99

Pediatric Oncology 1

$54.99

Fakten statt Fakes

$29.99

Hedgehugs

$3.71

Internet of Things ICIOT 2023

$54.99

Proton Transfer in Hydrogen-Bonded Systems

$39.99

Visual Question Answering

$84.99

Oligarchy in the Americas

$49.99

Ethnographic Plague

$119.99

Essentials In Elbow Surgery

$159.99

Bewegungsverhltnisse an gleichschenkligen Kurbeltrieben

$49.99

Nutrition, Fitness, and Mindfulness

$79.99

Workflow Management mit SAP WebFlow

$69.99

Symbiosis (Shuri: A Black Panther Novel #3)

$6.74

Nachdenken ber Biologie

$49.99

Teil 1: Allgemeiner Teil. Teil 2-4: Spezieller Teil 1-3

$169.99

Proceedings of 2022 Chinese Intelligent Systems Conference

$259.00

Kohlenstoffgruppe: Elemente der vierten Hauptgruppe

$17.99

Aesthetic Labour

$139.99

Erdgas und erneuerbares Methan fr den Fahrzeugantrieb

$69.99

Bioreactor Immobilized Enzymes and Cells

$54.99

Visuelles Wissen und Bilder des Sozialen

$39.99

Advances in Production Management Systems. Production Management Systems for Volatile, Uncertain, Co

$99.99