Dieter Hogrefe
3 published titles
SLD with applications from protocol specification
(Contributor)
1 edition
- ISBN: 0137858906
- Prentice Hall International
- 1991
- Details
Formale Beschreibungstechniken für verteilte Systeme
(Contributor)
1 edition
- ISBN: 3540555684
- Springer-Verlag
- 1992
- Details
Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
(Contributor)
1 edition
- ISBN: 0412644509
- Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)
- 1995
- Details
