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

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

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

Single Product Purchase

$39.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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Logic and Philosophy in the LvovWarsaw School

$169.00

Field-Programmable Gate Array Technology

$169.99

Carbon Neutrality in the Agri-food Sector

$109.00

Climate Risks to Water Security

$39.99

Initial Results from the Fast Imaging Solar Spectrograph (FISS)

$109.99

Ethics and Human Behaviour in ICT Development

$139.99

Using Office 2013

$19.99

Werkstttenbuchfhrung fr moderne Fabrikbetriebe

$59.99

Polycystic Ovary Syndrome

$99.00

Water Issues in Himalayan South Asia

$129.99

Publishing during Doctoral Candidature

$139.99

Elektrische Kraftbertragung und Kraftverteilung

$59.99

Electric Circuit Analysis with EasyEDA

$44.99

Kontrastmittel in der Kardiologie

$59.99

Avian Leukosis

$169.00

Proceedings of ELM-2014 Volume 2

$219.99

European Council

$54.99

The Centrosome

$89.00

Physical-Layer Security for Cooperative Relay Networks

$109.99

The e Hardware Verification Language

$169.00

The Rule of Law in Cyberspace

$109.99

Managing Strategy Processes in Emergent Industries

$169.99

Dante

$59.99

Blind Speech Separation

$169.99

AR and VR Using the WebXR API

$39.99

Drivers of User Engagement in Influencer Branding

$109.99

Bankkredit- oder Anleihefinanzierung

$49.99

Hoppy Go Lucky

$5.99

Berechnung und Gestaltung der Triebwerke schnellaufender Kolbenkraftmaschinen

$79.99

Basics of Functional Analysis with Bicomplex Scalars, and Bicomplex Schur Analysis

$54.99

Microgrid: Operation, Control, Monitoring and Protection

$169.99

Handbook of Adolescent Health Risk Behavior

$219.99

Verordnungsbuch und Ditetischer Leitfaden fr Zuckerkranke mit 191 Kochvorschriften

$44.99

Eco-friendly Polymer Nanocomposites

$169.99

Neurere Entwicklungen in der Angewandten konometrie

$59.99

Die Freiwilligen Feuerwehren in sterreich und Deutschland

$74.99

Narzimus und Primrbeziehung

$84.99

Introduction to Frustrated Magnetism

$169.00

Indian Women in Leadership

$119.99

Textbook of Research Ethics

$89.00