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 76,97
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2011 edition. 242 pages. 8.20x5.60x0.50 inches. In Stock.
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.
Lingua: Inglese
Editore: Springer Fachmedien Wiesbaden, Weisbaden, 2011
ISBN 10: 3834814938 ISBN 13: 9783834814937
Da: AussieBookSeller, Truganina, VIC, Australia
EUR 87,36
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.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 109,05
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 115,14
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Condizione: New. pp. 483.
Condizione: New. pp. 470.
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2017
ISBN 10: 3662569108 ISBN 13: 9783662569108
Da: Revaluation Books, Exeter, Regno Unito
EUR 154,96
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 164,01
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 75,81
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 244 59 Illus.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 76,91
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 -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.Vieweg+Teubner Verlag, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 244 pp. Englisch.
Da: Majestic Books, Hounslow, Regno Unito
EUR 132,37
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 470.
Da: Majestic Books, Hounslow, Regno Unito
EUR 134,17
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 483.
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.
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.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 133,47
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 470.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 134,40
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 483.