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

Pairwise Comparisons Method

$69.99

Begrifflichkeiten und Theorie zur Automatisierung im Straenverkehr

$39.99

Seawater Desalination

$169.99

Neuroprotection and Regeneration of the Spinal Cord

$169.99

Schulbcher als Herrschaftssicherungsinstrumente der SED

$59.99

The Adaption of Virtual Man-Computer Interfaces to User Requirements in Dialogs

$39.99

Theatre as a for Children and Young People: Images and Observations

$109.99

Aqualicious Pinkalicious Series by Victoria Kann

$19.99

Rural Livelihood and Environmental Sustainability in China

$109.99

Preisfairness im Dienstleistungskontext

$79.99

Motivationale Determinanten der Wertschpfung durch Customer Engagement

$54.99

Child of the Dream

$5.99

Somaclonal Variation in Crop Improvement II

$84.99

I Am Not a Chair!: 6-Book Set

$26.95

Moderationskompetenzen

$34.99

Die Immunittsforschung Ergebnisse und Probleme in Einzeldarstellungen

$59.99

Revolutionary Committees in the Cultural Revolution Era of China

$59.99

Verklrt, verkitscht, vergessen

$19.99

Exploring Drug Delivery to the Peritoneum

$179.99

Water Electrolysis for Hydrogen Production

$249.99

Kopfschmerzen und Migrne

$54.99

Boolesche Gleichungen

$49.99

Politisches Denken. Jahrbuch 1994

$39.99

Church in an Age of Global Migration

$109.99

Autoethnography and Organization Research

$64.99

Theoretical Psychology

$59.99

Recent Advances in Geotechnical Research

$169.99

Practical Urological Ultrasound

$149.00

Ernhrungskommunikation

$99.99

Soziale Arbeit im Wissenschaftssystem

$59.99

Konsumentenverhalten und Information

$59.99

Auffallen oder anpassen?

$44.99

The Finger Lakes Region - A Photographic Portrait by Bill Banaszewski

$26.95

Ammonoid Paleobiology: From anatomy to ecology, and from macroevolution to paleogeography

$219.99

Jews in Medieval England

$129.00

Hilfreiche Gesprche und heilsame Berhrungen im Pflegealltag

$37.99

Verbrennungen

$59.99

English-Spanish First Little Readers: Guided Reading Level A (Multiple Copy Set)

$69.75

Serving the Community Text Set: Grade 2

$275.00

Animal Models of Acute Neurological Injury

$129.00