International Conference on Formal Description Techniques (7th: Montreal: Canada)
Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques / Montreal, 1995; edited by Dieter Hogrefe, Stefan Leue - London Chapman & hall 1995 - x, 520 p.
includes index
412644509
Formal languages
004.62 / INT
Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques / Montreal, 1995; edited by Dieter Hogrefe, Stefan Leue - London Chapman & hall 1995 - x, 520 p.
includes index
412644509
Formal languages
004.62 / INT