Copied Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 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.
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
|
|
$54.99 | $54.99 |
|
$54.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Beyond the Crystalline State
$54.99
Sozialversicherungsrecht
$59.99
National Geographic Kids Readers: All About Bears (Pre-Reader)
$3.71
Vereinbarungen zur einheitlichen Untersuchung und Beurtheilung von Nahrungs- und Genussmitteln sowie
$59.99
Multimedia Database Systems
$84.99
Energy Efficiency in Househould Appliances and Lighting
$219.99
Flotation Reagents: Applied Surface Chemistry on Minerals Flotation and Energy Resources Beneficiati
$109.99
Ready-to-Read Pre-Level 1 - My First.: My First Gymnastics Class
$3.71
International Environmental Law and Policy in Africa
$169.99
Politics and Religion in Modern Japan
$109.99
Autonome Innervation des Herzens
$59.99
Cultivating the Confucian Individual
$119.00
Quasiconformal Mappings and Sobolev Spaces
$39.99
Advances in Network-Based Information Systems
$219.99
China Satellite Navigation Conference (CSNC) 2020 Proceedings: Volume III
$219.99
Thermodynamic Basis of Crystal Growth
$109.99
Abrahamic Reflections on Randomness and Providence
$59.99
About Habitats: Grasslands
$5.21
International Joint Conference 16th International Conference on Computational Intelligence in Securi
$199.99
Fahrwerk
$99.00
Becoming a Family Physician
$84.99
Spirituality in Systemic Family Therapy Supervision and Training
$169.99
Software Engineering and Computer Systems, Part II
$109.99
Conflict in World Politics
$109.99
Membrane Toxicity
$84.99
Endocrinology of Cardiovascular Function
$219.99
Corruption Networks
$79.99
Introduction to Mathematical Systems Theory
$69.99
Ergebnisse 25 jhriger Sichtbeobachtungen auf dem Knigstuhl bei Heidelberg
$54.99
Die Hochschule als interkultureller Aushandlungsraum
$49.99
Psychotherapiepatienten als Datenstze
$17.99
Die Entwickelung der Automatischen Telegraphie
$59.99
Pro Oracle Spatial for Oracle Database
$39.99
Mathematics, Administrative and Economic Activities in Ancient Worlds
$159.99
Strategic Orientation and Alliance Portfolio Configuration
$39.99
Numerische Steuerung einer flexiblen Bearbeitungseinheit zum Radialumformen
$69.99
Thermodynamik der Mischphasen
$54.99
Global Gravity Field Modeling from Satellite-to-Satellite Tracking Data
$119.99
Minerals as Advanced Materials II
$169.99
Civil War in Bosnia 199294
$54.99
