Recent trends in data type specification : 7th workshop on specification of abstact data types : proceedings, Wusterhausen/Dosse, Germany, Apr. 17-20, 1990 / edited by H. Ehrig...[et al.]
Workshop on specification of abstact data types (7th : 1990
Recent trends in data type specification : 7th workshop on specification of abstact data types : proceedings, Wusterhausen/Dosse, Germany, Apr. 17-20, 1990 / edited by H. Ehrig...[et al.] - - Berlin Springer-Verlag 1991 - viii,379 p. 24 cm - Lecture notes in computer science ; v.534 .
3-540-54496-80
Abstract data types (computerscience)-congresses
Rewriting systems (Computer science)-Specifications-Congresses
681.3.06 Wor:7:90
Recent trends in data type specification : 7th workshop on specification of abstact data types : proceedings, Wusterhausen/Dosse, Germany, Apr. 17-20, 1990 / edited by H. Ehrig...[et al.] - - Berlin Springer-Verlag 1991 - viii,379 p. 24 cm - Lecture notes in computer science ; v.534 .
3-540-54496-80
Abstract data types (computerscience)-congresses
Rewriting systems (Computer science)-Specifications-Congresses
681.3.06 Wor:7:90