top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
Espandi
Riduci
Questo autore in
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Ehrig, Hartmut
ID:
56511
Opere
Altre forme del nome
Ehrig, Hartmut
Ehrig, Hartmut
Ehrig, Hartmut, 1944-...
Ehrig, Hartmut, Software, theoretische informatica, 1944-
Ehrig Hartmut
EHRIG, Hartmut
Seleziona tutte
Deseleziona
Equations and initial semantics
...
Formal methods in software and systems modeling
...
Fundamentals of algebraic specification
...
Graph and Model Transformation
...
Graph-grammars and their application to computer science
...
Integration of software specification techniques for applications in engineering
...
Kategorien und automaten
...
Module specification and constraints
...