电子书 > 科学 > 数学 > Gopal Gupta & Ricardo Pena: Logic-Based Program Synthesis and Transformation (PDF)

Gopal Gupta & Ricardo Pena
Logic-Based Program Synthesis and Transformation [PDF ebook]
23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

支持

的封面 Gopal Gupta & Ricardo Pena: Logic-Based Program Synthesis and Transformation (PDF)

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.

€51.45

购买此电子书可免费获赠一本！

语言英语 ● 格式 PDF ● ISBN 9783319141251 ● 编辑 Gopal Gupta & Ricardo Pena ● 出版者 Springer International Publishing ● 发布时间 2015 ● 下载 3 时 ● 货币 EUR ● ID 6303147 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Gopal Gupta Ricardo Pena

49,692 此类电子书

的封面 Luca (University of Parma) Lorenzi & Adbelaziz (University of Salerno) Rhandi: Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations

Luca (University of Parma) Lorenzi & Adbelaziz (University of Salerno) Rhandi: Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations

Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations aims to propose a unified approach to elliptic and parabolic equations with bounded and smooth c …

的封面 Yi (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China) Chen & Yun (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China; Faculty of Engineering, University of Strathclyde, UK) Li

Yi (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China) Chen & Yun (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China; Faculty of Engineering, University of Strathclyde, UK) Li

Computational Intelligence Assisted Design framework mobilises computational resources, makes use of multiple Computational Intelligence (CI) algorithms and reduces computational costs. This book pro …

的封面 Abduhamid Dzhuraev: Degenerate and Other Problems

Abduhamid Dzhuraev: Degenerate and Other Problems

This Monograph contains a collection of problems arising in partial differential equations investigated by means of complex analysis approached in elementary ways. …

的封面 Elsa (University di Torino, Italy) Abbena & Alfred (University of Maryland, College Park, MD) Gray: Modern Differential Geometry of Curves and Surfaces with Mathematica

Elsa (University di Torino, Italy) Abbena & Alfred (University of Maryland, College Park, MD) Gray: Modern Differential Geometry of Curves and Surfaces with Mathematica

Presenting theory while using Mathematica in a complementary way, Modern Differential Geometry of Curves and Surfaces with Mathematica, the third edition of Alfred Gray’s famous textbook, covers how …

的封面 Gary L. (The Pennsylvania State University, University Park, USA) Mullen & James A. (The Pennsylvania State University, University Park, USA) Sellers: Abstract Algebra

Gary L. (The Pennsylvania State University, University Park, USA) Mullen & James A. (The Pennsylvania State University, University Park, USA) Sellers: Abstract Algebra

Abstract Algebra: A Gentle Introduction advantages a trend in mathematics textbook publishing towards smaller, less expensive and brief introductions to primary courses. The authors move away from th …

的封面 Peter G. Hinman: Fundamentals of Mathematical Logic

Peter G. Hinman: Fundamentals of Mathematical Logic

This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel”s Incompleteness Theorems to extensive introductions to set theory, mo …

的封面 D. Yogi (University of South Florida, USA) Goswami & Frank (University of Colorado, Boulder, USA (retired)) Kreith: Energy Efficiency and Renewable Energy Handbook

D. Yogi (University of South Florida, USA) Goswami & Frank (University of Colorado, Boulder, USA (retired)) Kreith: Energy Efficiency and Renewable Energy Handbook

For the Movers, Shakers, and Policy Makers in Energy Engineering and Related Industries The latest version of a bestselling reference, Energy Efficiency and Renewable Energy Handbook, Second Edition …

的封面 Manfred Stoll: Introduction to Real Analysis

Manfred Stoll: Introduction to Real Analysis

This classic textbook has been used successfully by instructors and students for nearly three decades. This timely new edition offers minimal yet notable changes while retaining all the elements, pre …

的封面 Robert Sloan & Richard Warner: Unauthorized Access

Robert Sloan & Richard Warner: Unauthorized Access

Going beyond current books on privacy and security, this book proposes specific solutions to public policy issues pertaining to online privacy and security. Requiring no technical or legal expertise, …

的封面 Michael Joswig: Essentials of Tropical Combinatorics

Michael Joswig: Essentials of Tropical Combinatorics

The goal of this book is to explain, at the graduate student level, connections between tropical geometry and optimization. Building bridges between these two subject areas is fruitful in two ways. T …