LIBRISTO
LIBROAMANTO
verplicht
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 Bpost punt 7.99 Bpost 7.49 DPD-punt 3.49 GLS koerier 4.99

Gratis bezorging voor bestellingen boven de 69,99 euro.

Graph Transformations

Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Graph Transformations Hartmut Ehrig
Libristo-code: 43423442
Uitgeverij Springer Nature B.V., maart 2014
Invited Papers.- Improving Flow in Software Development Through Graphical Representations.- A Perspe... Volledige beschrijving
? points 145 b
59.89
In extern magazijn Wordt binnen 10-18 dagen verzonden

Tot 30 dagen retourrecht

Invited Papers.- Improving Flow in Software Development Through Graphical Representations.- A Perspective on Graphs and Access Control Models.- Transformation Language Design: A Metamodelling Foundation.- Integration Technology.- Rule Execution in Graph-Based Incremental Interactive Integration Tools.- Composition of Relations in Enterprise Architecture Models.- Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation.- Chemistry and Biology.- Analysis of Metabolic Pathways by Graph Transformation.- The Potential of a Chemical Graph Transformation System.- Graph Transformation Concepts.- Concepts for Specifying Complex Graph Transformation Systems.- Typing of Graph Transformation Units.- Towards Graph Programs for Graph Algorithms.- DPO Theory for High-Level Structures.- Adhesive High-Level Replacement Categories and Systems.- Fundamental Theory for Typed Attributed Graph Transformation.- Parallel Independence in Hierarchical Graph Transformation.- Analysis and Testing.- Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems.- Stochastic Graph Transformation Systems.- Model Checking Graph Transformations: A Comparison of Two Approaches.- Graph Theory and Algorithms.- Election, Naming and Cellular Edge Local Computations.- Embedding in Switching Classes with Skew Gains.- Synchronizers for Local Computations.- Application Conditions and Logic.- Constraints and Application Conditions: From Graphs to High-Level Structures.- Specification Matching of Web Services Using Conditional Graph Transformation Rules.- Representing First-Order Logic Using Graphs.- Transformation of Special Structures.- Coproduct Transformations on Lattices of Closed Partial Orders.- Parsing String Generating Hypergraph Grammars.- Composition of Path Transductions.- Object-Orientation.- Translating Java Code to Graph Transformation Systems.- Extending Graph Rewriting for Refactoring.- Derivations in Object-Oriented Graph Grammars.- Tutorials and Workshops.- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.- Tutorial on DNA Computing and Graph Transformation.- Workshop TERMGRAPH 2004.- Workshop on Graph-Based Tools.- Workshop on Petri Nets and Graph Transformations.- Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions.- Workshop on Logic, Graph Transformations, Finite and Infinite Structures.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Graph Transformations
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2014
Aantal pagina's 468
EAN 9783662181645
Libristo-code 43423442
Gewicht 652
Afmetingen 156 x 234
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?