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

Astrophysics of Exoplanetary Atmospheres

$139.99

Blechmodellierung mit CATIA V5

$29.99

Digital Radio DAB+

$54.99

Proceedings of the International Conference on Earthquake Engineering and Structural Dynamics

$219.99

DNA Microarrays: Gene Expression Applications

$54.99

Lipids and Womens Health

$39.99

Geronimo Stilton: My Name Is Stilton, Geronimo Stilton (#19)

$5.99

Parallel and Distributed Processing and Applications

$109.99

COVID-19: Suche nach einem Impfstoff

$17.99

Worldmaking: Psychology and the Ideology of Creativity

$54.99

Rosa Luxemburg

$109.00

Foundations of Learning Classifier Systems

$129.00

Graph-Theoretic Concepts in Computer Science

$39.99

Spinal Imaging and Image Analysis

$84.99

From Agglomeration to Innovation

$109.99

Advances in Cryptology CRYPTO 2024

$79.99

Innovationen und Innovationsmanagement im Gesundheitswesen

$74.99

Mathematical Modeling of Physical Systems

$89.00

The Development of the Alternative Black Curriculum, 1890-1940

$99.99

Sportphilosophie

$79.99

Ambient Assisted Living

$54.99

El Mundo de los Piratas

$12.74

Die Rcklagenpolitik der Unternehmung

$59.99

The Lost Child in Literature and Culture

$99.99

Theorie praktischer Probleme

$39.99

The Role of Organic Matter in Modern Agriculture

$54.99

Antimicrobial Stewardship in Non-Traditional Settings

$119.99

Genetic Basis for Respiratory Control Disorders

$169.99

Steuervorteile fr Landwirte, Forstwirte, Winzer und Grtner

$59.99

Novel enzymes for functional carbohydrates production

$199.99

The European Union and the Paradox of Enlargement

$84.99

Stahlbetonbrcken

$139.00

Ubiquitous Computing and Ambient Intelligence. Sensing, Processing, and Using Environmental Informat

$54.99

Expertensysteme in Produktion und Engineering

$59.99

Handbook of Research in Pediatric and Clinical Child Psychology

$259.00

Real-Time IoT Imaging with Deep Neural Networks

$37.99

Artificial Economics

$109.99

Leben und Arbeiten in Neuseeland

$17.99

Graduate Study for the Twenty-First Century

$19.99

Der Sekundenherztod

$54.99