Formal description techniques, VII
Subtitle: proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
By: edited by Dieter Hogrefe and Stefan Leue.
Contributors: Hogrefe, Dieter.; Leue, Stefan.; International Federation for Information Processing.
Publisher: Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)
Published: 1995
Place of publication: London
Language: eng
Number of pages: 520
Subjects: Electronic data processing -- Distributed processing -- Congresses.; Formal languages -- Congresses.