Sale!

Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers eBook

Name: Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers eBook
Brand: eBooks
SKU: 9783642322112
Availability: InStock
ISBN: 9783642322112

Original price was: $69.99.Current price is: $14.00.

By: Germán Vidal
Publisher: Springer
Print ISBN: 9783642322105, 3642322107
eText ISBN: 9783642322112, 3642322115
Edition: 1st
Copyright year: 2012

eText ISBN: 9783642322112 SKU: 9783642322112 Category: Trending Tags: Computers, Intelligence (AI) & Semantics

Transforming the Language Teaching Experience in the Age of AI eBook Original price was: $230.00.Current price is: $138.00.
Green's Functions with Applications eBook Original price was: $84.95.Current price is: $36.00.
Truncated and Censored Samples: Theory and Applications eBook Original price was: $54.95.Current price is: $20.00.
Security in Computing eBook Original price was: $96.00.Current price is: $46.90.
Writing from Within: The Next Generation eBook Original price was: $19.99.Current price is: $12.50.
An Introduction to Fully Integrated Mixed Methods Research, 1st Edition eBook Original price was: $71.00.Current price is: $29.00.
Computer Vision And Robotics In Perioperative Process eBook Original price was: $62.00.Current price is: $35.00.

Description
Reviews (0)

Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.