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