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

This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions. The book also contains two invited talks in full paper length. The contributions were organized in topical sections named: rewriting; unification; types; verification; model checking and probabilistic programming; program analysis and testing; and logics.

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

Single Product Purchase

$64.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
$64.99 $64.99

$64.99
See Site In stock Visit Store

Similar Products

Kind of a Big Deal: El cerebro puede ser la gran cosa

$5.24

New Tide of Natural Product Chemistry

$199.99

ICPER 2020

$129.00

Human Error - by Design?

$54.99

Carbonatite Volcanism

$39.99

Computer Analysis of Sequence Data, Part I

$84.99

Communityorientierung in der Sozialen Arbeit

$49.99

Dynamische nicht-normalisierte Relationen und symbolische Bildbeschreibung

$69.99

Shakespeare and the Solitary Man

$39.99

EU-Turkey Relations

$54.99

Solution of Superlarge Problems in Computational Mechanics

$39.99

The Sun Technology Papers

$109.99

Impact of Arbuscular Mycorrhizas on Sustainable Agriculture and Natural Ecosystems

$39.99

Verfahrensinstrumentarium zur Werkstckauswahl und Auslegung von Industrieroboterschweisystemen

$84.99

Brief

$17.99

The Political Ideas of Leo Strauss, Updated Edition

$54.99

Immuno-Oncology

$199.99

Indirect Pedagogy

$49.99

Emerging Ideas on Information Filtering and Retrieval

$109.99

Ending Medicines Chronic Dysfunction

$59.99

Unifying Themes in Complex Systems IV

$169.99

Recommender Systems for Social Tagging Systems

$54.99

Methods and Applications for Modeling and Simulation of Complex Systems

$54.99

ber die Wirkung von Chloroform-, ther- und Xylolextrakt aus Tuberkelbazillen sowie von Phymatinsal

$54.99

Mechanisms of Polyreactions Polymer Characterization

$39.99

Introduction to Statistics

$39.99

Epistolary Encounters in Neo-Victorian Fiction

$54.99

Das Elterngesprch in der Logopdie bei Mehrsprachigkeit

$17.99

The Tokyo Trial, Justice, and the Postwar International Order

$64.99

Netzwerkeffekte im Medien- und Kommunikationsmanagement

$99.99

Fehlerfolgen im europischen Eigenverwaltungsrecht

$89.00

Gasturbinen und Flugantriebe

$179.00

An Agent-Based Model of Heterogeneous Demand

$59.99

Fortgeschrittene Programmiertechniken in Turbo Pascal

$59.99

Ion Sources

$249.99

Cardiac CT

$99.00

China Satellite Navigation Conference (CSNC) 2013 Proceedings

$259.00

Elektromechanische Kopiersteuerungen

$59.99

Marken in der Politik

$64.99

Hippokrates

$59.99