Catalog > Sciences > Math > Narciso Marti-Oliet & Miguel Palomino: Recent Trends in Algebraic Development Techniques (PDF)

Narciso Marti-Oliet & Miguel Palomino
Recent Trends in Algebraic Development Techniques [PDF ebook]
21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Support

Cover of Narciso Marti-Oliet & Miguel Palomino: Recent Trends in Algebraic Development Techniques (PDF)

This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. The 16 revised papers presented were carefully reviewed and selected from 25 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance; validation, and verification.

€57.61

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9783642376351 ● Editor Narciso Marti-Oliet & Miguel Palomino ● Publisher Springer Berlin Heidelberg ● Published 2013 ● Downloadable 3 times ● Currency EUR ● ID 6378467 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Narciso Marti-Oliet Miguel Palomino

49,673 Ebooks in this category

Cover of 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 …

Cover of 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 …

Cover of 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 …

Cover of 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. …

Cover of 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 …

Cover of Boris V. Gnedenko & Victor Yu. Korolev: Random Summation

Boris V. Gnedenko & Victor Yu. Korolev: Random Summation

This book provides an introduction to the asymptotic theory of random summation, combining a strict exposition of the foundations of this theory and recent results. It also includes a description of …

Cover of 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, …

Cover of Dan G. Cacuci: Sensitivity & Uncertainty Analysis, Volume 1

Dan G. Cacuci: Sensitivity & Uncertainty Analysis, Volume 1

As computer-assisted modeling and analysis of physical processes have continued to grow and diversify, sensitivity and uncertainty analyses have become indispensable investigative scientific tools in …

Cover of Amit K. Roy-Chowdhury: Lie Algebraic Methods in Integrable Systems

Amit K. Roy-Chowdhury: Lie Algebraic Methods in Integrable Systems

Over the last thirty years, the subject of nonlinear integrable systems has grown into a full-fledged research topic. In the last decade, Lie algebraic methods have grown in importance to various fie …

Cover of D.F. Griffiths & G.A. Watson: Numerical Analysis 1993

D.F. Griffiths & G.A. Watson: Numerical Analysis 1993

This volume contains invited papers presented at the 15th Dundee Biennial Conference on Numerical Analysis held at the University of Dundee in June of 1993. The Dundee Conferences are important event …