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

Man within His Life-World

$259.00

Clinical Benefits of Leukodepleted Blood Products

$39.99

Agroecology Now!

$32.99

Computational Pathology and Ophthalmic Medical Image Analysis

$39.99

Ant Algorithms

$54.99

Studien zur Phnomenologie 19301939

$69.99

Der Ewige Kreislauf des Weltalls

$59.99

Service-Oriented Mapping

$179.99

Networks

$129.00

Evolutionary Gerontology and Geriatrics

$169.99

Heimarbeit

$59.99

Political Leaders and Changing Local Democracy

$199.99

Applied Multi-objective Optimization

$199.99

ber die ergonomische Bedeutung der rumlichen Lage kreisbogenfrmiger Bewegungsbahnen von Bettigun

$59.99

Financing High-Tech Startups

$109.99

Steuerung im Bildungswesen

$37.99

Clinical Ethics and the Necessity of Stories

$169.99

Image Technology

$219.99

Anatomy and Imaging of the Cranial Nerves

$74.99

New Technologies in Radiation Oncology

$169.00

Ratings

$109.99

Mathematische Physik: Klassische Mechanik

$44.99

Sexueller Missbrauch und Misshandlungen in der Benediktinerabtei Ettal

$64.99

Fairy Tales, Natural History and Victorian Culture

$129.99

Liminal Fictions in Postmodern Culture

$54.99

Introduction to System Reliability Theory

$84.99

Sammlung der Bestimmungen ber die Prfung der Nahrungsmittel-Chemiker fr das Deutsche Reich und di

$59.99

Voting in a Hybrid Regime

$64.99

kophysik

$69.99

Thermal Imaging Systems

$219.99

Die Spur der Macht im Verhltnis der Geschlechter

$69.99

Functional Coherence of Molecular Networks in Bioinformatics

$169.99

Health, Technology and Society

$84.99

Hyperspherical Harmonics

$129.00

Unexpected Talkers (Learn About: Animals)

$5.24

Cytologic Detection of Urothelial Lesions

$99.99

Kompendium der Mediengestaltung fr Digital- und Printmedien

$59.99

Software Engineering for Self-Adaptive Systems III. Assurances

$54.99

Erfolgreiche Zusammenschlustrategien

$49.99

The Complete Book of Calligraphy & Lettering

$22.35