LIBROS DEL AUTOR: hartmut ehrig

4 resultados para LIBROS DEL AUTOR: hartmut ehrig

hartmut ehrig Eliminar filtro Quitar filtros
  • Graph and Model Transformation
    Claudia Ermel / Hartmut Ehrig / Ulrike Golas
    This book is a comprehensive explanation of graph and model transformation. It contains a detailed introduction, including basic results and applications of the algebraic theory of graph transformations, and references to the historical context. Then in the main part the book contains detailed chapters on M-adhesive categories, M-adhesive transformation systems, and multi-amalg...
    Disponible

    136,92 €

  • Fundamentals of Algebraic Specification 1
    Bernd Mahr / Hartmut Ehrig
    The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the b...
    Disponible

    133,68 €

  • Fundamentals of Algebraic Graph Transformation
    Hartmut Ehrig / Karsten Ehrig / Ulrike Prange
    to Graph Transformation Systems.- General Introduction.- Graphs, Typed Graphs, and the Gluing Construction.- Graph Transformation Systems.- Adhesive High-Level Replacement Categories and Systems.- Adhesive High-Level Replacement Categories.- Adhesive High-Level Replacement Systems.- Embedding and Local Confluence.- Constraints and Application Conditions.- Typed Attributed Graph...
    Disponible

    181,33 €

  • Mathematisch-strukturelle Grundlagen der Informatik
    Bernd Mahr / F. Cornelius / Hartmut Ehrig
    In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind. Eine Einführung in die intuitive Mengentheorie v...
    Disponible

    52,32 €