24 livros para “Hartmut Ehrig”
Categorical methods in computer science
Hartmut Ehrig
Fundamentals of Algebraic Specification 1
Hartmut Ehrig
Handbook of Graph Grammars and Computing by Graph Transformations Vol. 3
Hartmut Ehrig
Formal Methods in Software and Systems Modeling
Ugo Montanari
Graph Transformation, Specifications, and Nets
Reiko Heckel
Formal Methods and Software Development
Hartmut Ehrig
Fundamentals of algebraic specification
Hartmut Ehrig
Kategorien und Automaten
Hartmut Ehrig
Mathematical Foundations of Software Development
Hartmut Ehrig
Recent Trends in Data Type Specification
Hartmut Ehrig
Fundamentals of algebraic graph transformation
Hartmut Ehrig
Formal methods in software and systems modeling
Hartmut Ehrig
Integration of software specification techniques for applications in engineering
Hartmut Ehrig
Formal Methods and Software Development
Hartmut Ehrig
Graph-grammars and their application to computer science
Hartmut Ehrig
Graph Transformations
Hartmut Ehrig
Graph transformations in computer science
Hartmut Ehrig
Fundamentals of Algebraic Specification 2
Hartmut Ehrig
Formal methods in software and systems modeling
Hartmut Ehrig
Theory and application of graph transformations
Hartmut Ehrig
Graph Transformations Lecture Notes in Computer Science
Hartmut Ehrig
Three papers on graph rewriting systems and their applications
Hartmut Ehrig
Universal theory of automata
Hartmut Ehrig
Kick-off-Workshop der DFG-Forschergruppe Petrinetz-Technologie
Hartmut Ehrig