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

This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 910, 2024. The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting.

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

Single Product Purchase

$49.50
@ 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
$54.99 $54.99

10% OFF
This deals requires coupon Get Code Here
$49.50
See Site In stock Visit Store

Similar Products

Methodological Aspects of the Development of Low Temperature Physics 18811956

$109.99

Citizenship, Belonging and Intergenerational Relations in African Migration

$54.99

The Gibbs Phenomenon in Fourier Analysis, Splines and Wavelet Approximations

$169.99

Computer Simulations of Aggregation of Proteins and Peptides

$199.99

Generalized Locally Toeplitz Sequences: Theory and Applications

$39.99

Litigation-PR

$59.99

Materials Interfaces

$329.99

Progress in the Chemistry of Organic Natural Products 115

$379.99

Karst of East Herzegovina and Dubrovnik Littoral

$169.99

Phenotypic Screening

$199.99

True Ghost Stories: Haunted Pets

$4.46

Grundlagen der Regelungstechnik

$59.99

Collected Papers - Gesammelte Abhandlungen

$69.99

Concurrent Enterprising

$169.99

International Maritime Labour Law

$99.00

Wirkstoff Werbetext

$59.99

Altchinesische Bronzen

$59.99

From Smart City to Smart Region

$44.99

Computer-Assisted Neurosurgery

$54.99

Informationelle Selbstbestimmung in der Cloud

$79.99

Sozialer Raum und Soziale Arbeit

$37.99

Topics in Cryptology - CT-RSA 2009

$39.99

Ergebnisse der Biologie

$59.99

Politikkompetenz

$59.99

Trends in Quantum Electronics

$84.99

The Postmillennial Vampire

$59.99

Zahlentheorie

$34.99

Erfindung der Romantik

$54.99

Sampling for Natural Resource Monitoring

$249.99

Efficiency and Innovation in Logistics

$169.99

Microparticle Dynamics in Electrostatic and Flow Fields

$169.00

Adhesion between polymers and concrete / Adhsion entre polymres et bton

$84.99

Trust, Reputation, and Security: Theories and Practice

$39.99

Schdigungen des Anaesthesie-Personals durch Narkose-Gase und -Dmpfe

$69.99

Incentives in Health Systems

$109.99

Zerkleinerungsvorrichtungen und Mahlanlagen

$59.99

Introduction to Stochastic Programming

$49.99

Nuclear Factor B

$109.99

Biologen in der Industrie: Was erwartet sie?

$29.99

Description Logic, Theory Combination, and All That

$54.99