Recent trends in data type specification : 9th workshop on specification of abstract data types joint with 4th COMPASS workshop, Caldes de Malavella, Spain, 26-30 Oct., 1992 / edited by Hartmut Ehrig and Fernando Orejas
Workshop on specification of abstract data types (9th : 1992
Recent trends in data type specification : 9th workshop on specification of abstract data types joint with 4th COMPASS workshop, Caldes de Malavella, Spain, 26-30 Oct., 1992 / edited by Hartmut Ehrig and Fernando Orejas - - Berlin Springer-Verlag 1994 - viii,350 p. 23.5 cm - Lecture notes in computer science ; v.785 .
3-540-57867-61
Abstract data types (Computerscience)-Specifications-Congresses
Rewriting systems (Computer science)-Specifications-Congresses
681.3.06 Wor:9:92
Recent trends in data type specification : 9th workshop on specification of abstract data types joint with 4th COMPASS workshop, Caldes de Malavella, Spain, 26-30 Oct., 1992 / edited by Hartmut Ehrig and Fernando Orejas - - Berlin Springer-Verlag 1994 - viii,350 p. 23.5 cm - Lecture notes in computer science ; v.785 .
3-540-57867-61
Abstract data types (Computerscience)-Specifications-Congresses
Rewriting systems (Computer science)-Specifications-Congresses
681.3.06 Wor:9:92