Da: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Paperback. Condizione: Very Good. Very Good - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE Standard-sized.
Lingua: Inglese
Editore: Springer Fachmedien Wiesbaden, Weisbaden, 2011
ISBN 10: 3834814938 ISBN 13: 9783834814937
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condizione: new. Paperback. Graph and model transformations play a central role for visual modeling and model-driven software development. Within the last decade, a mathematical theory of algebraic graph and model transformations has been developed for modeling, analysis, and to show the correctness of transformations. Ulrike Golas extends this theory 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. The developed methods and results are applied to the non-trivial problem of the specification of syntax and operational semantics for UML statecharts and a model transformation from statecharts to Petri nets preserving the semantics. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. pp. 244.
Da: Revaluation Books, Exeter, Regno Unito
EUR 77,01
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2011 edition. 242 pages. 8.20x5.60x0.50 inches. In Stock.
Lingua: Inglese
Editore: Springer Fachmedien Wiesbaden, Weisbaden, 2011
ISBN 10: 3834814938 ISBN 13: 9783834814937
Da: AussieBookSeller, Truganina, VIC, Australia
EUR 83,49
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. Graph and model transformations play a central role for visual modeling and model-driven software development. Within the last decade, a mathematical theory of algebraic graph and model transformations has been developed for modeling, analysis, and to show the correctness of transformations. Ulrike Golas extends this theory 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. The developed methods and results are applied to the non-trivial problem of the specification of syntax and operational semantics for UML statecharts and a model transformation from statecharts to Petri nets preserving the semantics. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Lingua: Inglese
Editore: Vieweg+Teubner Verlag, Vieweg+Teubner Verlag, 2011
ISBN 10: 3834814938 ISBN 13: 9783834814937
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Graph and model transformations play a central role for visual modeling and model-driven software development. Within the last decade, a mathematical theory of algebraic graph and model transformations has been developed for modeling, analysis, and to show the correctness of transformations. Ulrike Golas extends this theory 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. The developed methods and results are applied to the non-trivial problem of the specification of syntax and operational semantics for UML statecharts and a model transformation from statecharts to Petri nets preserving the semantics.
Condizione: New. pp. 470.
Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Analysis and Correctness of Algebraic Graph and Model Transformations | Ulrike Golas | Taschenbuch | xvi | Englisch | 2011 | Vieweg & Teubner | EAN 9783834814937 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Lingua: Inglese
Editore: Vieweg and Teubner 2011-07-01, 2011
ISBN 10: 3834814938 ISBN 13: 9783834814937
Da: Chiron Media, Wallingford, Regno Unito
EUR 105,71
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: Majestic Books, Hounslow, Regno Unito
EUR 120,19
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 470.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 118,96
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 470.
Condizione: New. pp. 483.
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2017
ISBN 10: 3662569108 ISBN 13: 9783662569108
Da: Revaluation Books, Exeter, Regno Unito
EUR 154,98
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. reprint edition. 484 pages. 9.25x6.10x1.09 inches. In Stock.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 162,84
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Graph and model transformations play a central role for visual modeling and model-driven software development. Within the last decade, a mathematical theory of algebraic graph and model transformations has been developed for modeling, analysis, and to show the correctness of transformations. Ulrike Golas extends this theory 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. The developed methods and results are applied to the non-trivial problem of the specification of syntax and operational semantics for UML statecharts and a model transformation from statecharts to Petri nets preserving the semantics. 226 pp. Englisch.
Da: Majestic Books, Hounslow, Regno Unito
EUR 72,65
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 244 59 Illus.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 72,94
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 244.
Da: moluna, Greven, Germania
EUR 48,37
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Dr. Ulrike Golas completed her doctoral thesis under the supervision of Prof. Dr. Hartmut Ehrig at the Institut fuer Softwaretechnik und Theoretische Informatik at Technische Universitaet, Berlin.Ulrike Golas extends a mathematical theory of algebraic gra.
Lingua: Inglese
Editore: Vieweg+Teubner Verlag, Vieweg+Teubner Verlag Jan 2011, 2011
ISBN 10: 3834814938 ISBN 13: 9783834814937
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 244 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2019
ISBN 10: 3662569108 ISBN 13: 9783662569108
Da: moluna, Greven, Germania
EUR 92,27
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Authors among the leading scientists and educators in the fieldTechniques applicable in software engineering, concurrent and distributed systems, and visual modellingComprehensive treatment, includes a brief introduction to category theory.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2015
ISBN 10: 3662479796 ISBN 13: 9783662479797
Da: moluna, Greven, Germania
EUR 92,27
Quantità: Più di 20 disponibili
Aggiungi al carrelloGebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Authors among the leading scientists and educators in the fieldTechniques applicable in software engineering, concurrent and distributed systems, and visual modellingComprehensive treatment, includes a brief introduction to category theory.
Da: Majestic Books, Hounslow, Regno Unito
EUR 144,24
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 483.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 143,01
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 483.