Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
- Berlin: Springer-Verlag, 2005
- xxvii, 411 p.; : 24 cm.
- 3393 .
- Lecture notes in computer science .
3540249362 pbk
Algebraic logic Computer systems - Design and construction Discrete Mathematics in Computer Science Transformation de graphes Formal methods (Computer science) Graph theory - Data processing