Copied Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. 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.
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
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Methodologies for Knowledge Discovery and Data Mining
$39.99
Formal Aspects of Component Software
$54.99
Perturbative Quantum Electrodynamics and Axiomatic Field Theory
$109.99
Academic Tourism
$179.99
Growth in Open Economies
$54.99
50 Schlsselideen Genetik
$17.99
Salyut - The First Space Station
$44.99
Literature and Nationalism in Partitioned Poland, 1795-1918
$109.99
Custom-Built Leadership
$70.00
Cladocera: the Biology of Model Organisms
$39.99
International Negotiation in China and India
$84.99
Multisensory Processes
$119.00
Die Entwicklungshilfe der Europischen Union
$59.99
New Media, Knowledge Practices and Multiliteracies
$169.99
The First European Seminar on Computerised Axial Tomography in Clinical Practice
$109.99
Applied Complex Flow
$169.99
Kinderalltag
$44.99
IEA International Civic and Citizenship Education Study 2022 Assessment Framework
$59.99
Treatment of Non-vitamin K Antagonist Oral Anticoagulants
$109.99
Rewriting Logic and Its Applications
$54.99
Interpretationen der Modallogik
$89.00
Verification, Model Checking, and Abstract Interpretation
$39.99
A Modern History of German Criminal Law
$54.99
Partially Coherent Optical Transmission Theory in Optical Wireless Communication
$139.00
Financial Inclusion
$199.99
Elementares Lehrbuch der Sozialpsychologie
$59.99
Ethik im Weltkontext
$74.99
Wings
$5.21
Myelin
$109.99
Group Verbal Decision Analysis
$129.00
Probability Towards 2000
$109.99
Einfhrung in die moderne Strafrechtsgeschichte
$29.99
Frei sprechen
$37.99
Civil Society and Democracy Promotion
$39.99
Die Patientenverfgung ein Rechtsinstrument der Selbstbestimmung
$99.00
Kosmetische Dermatologie
$54.99
Zwischen Ausschluss und Anerkennung
$39.99
A First Course in the Mathematical Foundations of Thermodynamics
$64.99
Das neue Bro nach Covid-19
$17.99
Coordination Models and Languages
$54.99
