Recent trends in data type specification : 5th workshop on specification of abstract data types, Gullane, Scotland, Sept. 1-4, 1987 / edited by D. Sannella and A. Tarlecki
Workshop on specification of abstract data types (5th : 1987
Recent trends in data type specification : 5th workshop on specification of abstract data types, Gullane, Scotland, Sept. 1-4, 1987 / edited by D. Sannella and A. Tarlecki - - Berlin Springer-Verlag, 1988 - 259 p. 24 cm - .
3-540-50325-00
Abstract data types (Computerscience)-Specifications-Congresses
Rewriting systems (Computer science)-Specifications-Congresses
681.3.06 Wor:5:87
Recent trends in data type specification : 5th workshop on specification of abstract data types, Gullane, Scotland, Sept. 1-4, 1987 / edited by D. Sannella and A. Tarlecki - - Berlin Springer-Verlag, 1988 - 259 p. 24 cm - .
3-540-50325-00
Abstract data types (Computerscience)-Specifications-Congresses
Rewriting systems (Computer science)-Specifications-Congresses
681.3.06 Wor:5:87