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

Erster Teil: Die Entwicklung des Weltluftverkehrs. Zweiter Teil: Die zivile Luftfahrtpolitik der Ver

$49.99

Practical Aspects of Declarative Languages

$84.99

IT-Sicherheitsmanagement nach ISO 27001 und Grundschutz

$54.99

Grundlagen der elektrischen Nachrichtenbertragung

$74.99

Denkmal und Energie 2016

$19.99

Globalisation, Policy and Comparative Research

$109.99

Immunology and Molecular Biology of Cardiovascular Diseases

$219.99

Perturbation Expansions in Axiomatic Field Theory

$39.99

Blast Back!: The Statue of Liberty

$4.46

Methoden der Ganzzahligen Optimierung

$39.99

Fahrwerkhandbuch

$249.99

Chlorine, Bromine and Iodine NMR

$129.00

Bausanierung

$89.99

Gaswirtschaft

$59.99

Mitigating Environmental Stresses for Agricultural Sustainability in Egypt

$109.99

Lifelong Machine Learning

$99.99

Visuomotor Coordination

$169.00

Gesamtenergiesystem der Zukunft (GES)

$17.99

Equibalancedistribution (Eqbl) in der Analyse von Erdbebendaten

$39.99

Municipal Accountability in the American Age of Reform

$44.99

Lectures on Viscoelasticity Theory

$109.99

Kundengruppen und Produktlebenszyklus

$79.99

Geronimo Stilton Journey Through Time: Lost in Time (#4) (Hardcover)

$12.74

Photopion Nuclear Physics

$39.99

Physics of Biomaterials: Fluctuations, Selfassembly and Evolution

$129.00

Power of Bonding and Non-Western Soft Power Strategy in Iran

$139.99

Cognition Beyond the Brain

$84.99

Technische Gesetze

$44.99

Roman Love Elegy and the Eros of Empire

$139.99

Grundlagen empirischer Forschung

$29.99

Objektlokalisation

$49.99

Variationen ber die vielen Frieden

$59.99

Cardiac Cell Biology

$169.99

Standard Model Measurements with the ATLAS Detector

$109.99

Scholastic Reader! Math Level 2: How Many Feet? How Many Tails?

$2.99

Directing at Disney: The Original Directors of Walt's Animated Films Book

$50.00

Making India: Colonialism, National Culture, and the Afterlife of Indian English Authority

$109.99

Mglichkeiten und Grenzen der antineoplastischen Therapie

$44.99

Climate Vulnerability and Resilience in the Global South

$169.99

Technikgestaltung und regionale Projekte

$59.99