Transformation-Based Reactive Systems Development

Know about the book -

Transformation-Based Reactive Systems Development is written by Miquel Bertran and published by Springer Science & Business Media. It's available with International Standard Book Number or ISBN identification 3540630104 (ISBN 10) and 9783540630104 (ISBN 13).

This book on Banach space theory focuses on what have been called three-space problems. It contains a fairly complete description of ideas, methods, results and counterexamples. It can be considered self-contained, beyond a course in functional analysis and some familiarity with modern Banach space methods. It will be of interest to researchers for its methods and open problems, and to students for the exposition of techniques and examples.