.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Analysis and Correctness of Algebraic Graph and Model Transformations
Ulrike Golas
€ 66.30
FREE Delivery in Ireland
Description for Analysis and Correctness of Algebraic Graph and Model Transformations
Paperback. Num Pages: 226 pages, 59 black & white illustrations, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 13. Weight in Grams: 297.
Ulrike Golas extends a mathematical theory of algebraic graph and model transformations for more sophisticated applications like the specification of syntax, semantics, and model transformations of complex models. Based on M-adhesive transformation systems, model transformations are successfully analyzed regarding syntactical correctness, completeness, functional behavior, and semantical simulation and correctness.
Ulrike Golas extends a mathematical theory of algebraic graph and model transformations for more sophisticated applications like the specification of syntax, semantics, and model transformations of complex models. Based on M-adhesive transformation systems, model transformations are successfully analyzed regarding syntactical correctness, completeness, functional behavior, and semantical simulation and correctness.
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer Fachmedien Wiesbaden Germany
Number of pages
226
Condition
New
Number of Pages
226
Place of Publication
Weisbaden, Germany
ISBN
9783834814937
SKU
V9783834814937
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About Ulrike Golas
Dr. Ulrike Golas completed her doctoral thesis under the supervision of Prof. Dr. Hartmut Ehrig at the Institut für Softwaretechnik und Theoretische Informatik at Technische Universität, Berlin.
Reviews for Analysis and Correctness of Algebraic Graph and Model Transformations