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

$54.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
$54.99 $54.99

$54.99
See Site In stock Visit Store

Similar Products

Legends of Lotus Island: The Guardian Test

$7.46

Water, Power and Citizenship

$109.99

Absolute Stability of Nonlinear Control Systems

$109.99

Advanced Intraoperative Technologies in Neurosurgery

$39.99

Das Vorkommen fossiler Landwirbeltiere im Jungtertir sterreichs und besonders des Wiener Beckens

$54.99

Early Literacy Select: Ages 6-12 Months (Spanish)

$88.25

Der Klinisch-infektiologische Fall

$64.99

NASA Formal Methods

$109.00

Kurzer Leitfaden der Elektrotechnik

$59.99

Enriching Higher Education Students' Learning through Post-work Placement Interventions

$169.99

Spatial Planning in Poland

$54.99

Property-Rights-Strukturen im Konzern

$44.99

The Dynamics of the Wealth of Nations

$129.00

Microbial Production

$169.99

Approaches to the Individual

$39.99

myo-Inositol Phosphates, Phosphoinositides, and Signal Transduction

$84.99

Fostering Institutional Development and Vital Change in Africa and Asia

$169.99

Conserving Biocultural Landscapes in Malaysia and Indonesia for Sustainable Development

$199.99

Essays on Wage Bargaining in Dynamic Macroeconomics

$54.99

Der Akkordlohn

$59.99

Proceedings of the International e-Conference on Intelligent Systems and Signal Processing

$129.00

Advances in Service and Industrial Robotics

$299.99

Der Geist der kritischen Schule

$69.99

A Multidisciplinary Framework of Information Propagation Online

$39.99

Holzmann/Meyer/Schumpich Technische Mechanik Statik

$39.99

The Burning Maze (The Trials of Apollo Series #3) by Rick Riordan

$9.99

The Intelligent Mind

$39.99

Critical Perspectives on International Political Economy

$109.99

Gestaltungsmglichkeiten bei der ffentlichen Ausschreibung von Bauleistungen

$79.99

Pattern Recognition

$79.99

Freshwater Invertebrates in Central Europe

$99.00

Portal Hypertension VII

$89.00

The Variational Approach to Fracture

$54.99

Die Europische Union als Akteur der internationalen Handelspolitik

$59.99

A Study of Braids

$54.99

The History of British Women's Writing, 1830-1880

$179.99

Statistical Methods for the Assessment of Point Source Pollution

$84.99

Der Einspruch im Steuerrecht

$39.99

Democracy East And West

$19.99

Haptics: Science, Technology, Applications

$49.99