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

This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different 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: $44.99 - $44.99
BEST PRICE

Single Product Purchase

$44.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
$44.99 $44.99

$44.99
See Site In stock Visit Store

Similar Products

Ebbe und Flut des Meeres der Atmosphre und der Erdfeste

$49.99

Beitrge zur Kenntnis von Heilquellenwirkungen auf Pflanzen

$54.99

Judaism and Other Religions

$69.99

Object Tracking Technology

$129.00

Gondwana Landscapes in southern South America

$169.00

Kernreaktionen III / Nuclear Reactions III

$84.99

Der bewegte Planet

$39.99

Very High Angular Resolution Imaging

$219.99

Specification and Verification of Multi-agent Systems

$169.99

Sport als Erlebnisrahmen im Eventmarketing

$17.99

Multiple Sequenzalignments

$14.99

First Measurement of the Running of the Top Quark Mass

$169.99

Herausforderung Intranet

$49.99

Marktorientierte Markenbewertung

$49.99

Nonlinear Evolution Equations and Potential Theory

$54.99

Strategien fr die deutsch-chinesische Geschftsbeziehung

$39.99

Quantitative Elements of General Biology

$179.99

Die Amplitudenregistrierungen des Satelliten Explorer 22, unter besonderer Bercksichtigung der Effe

$59.99

Essentials of Applied Mathematics for Engineers and Scientists, Second Edition

$37.99

Only One You

$3.71

Road Map for Sliding Mode Control Design

$54.99

The Physical Basis for Heterogeneous Catalysis

$39.99

Perpetrating Selves

$109.99

Somatic Embryogenesis in Ornamentals and Its Applications

$84.99

Pro Service-Oriented Smart Clients with .NET 2.0

$34.99

Functional Aesthetic Dentistry

$119.99

Developmental Psychobiology

$169.00

Towards the Mathematics of Quantum Field Theory

$199.99

Politik und Wirtschaft

$69.99

European Democratic Institutions and Administrations

$119.00

Dieter Misgeld

$39.99

Ohne Dop(amin)e ist alles doof

$79.99

Ergebnisse der Biologie

$59.99

LTLGB 2012

$169.00

Kleines wirtschaftswissenschaftliches Wrterbuch Englisch-Deutsch

$59.99

Light Scattering in Liquids and Macromolecular Solutions

$39.99

The Dynamics of Green Innovation in B2B Industries

$39.99

Control and Estimation of Distributed Parameter Systems

$84.99

Artificial Intelligence in Education

$89.99

Diagnosis and Treatment of Genitourinary Malignancies

$219.99