Recent trends in data type specification : 8th workshop on specification of abstract data types joint with the 3rd COMPASS workhop, Dourdan, France, Aug. 26-30, 1991 / edited by M. Bidoit and C. Choppy
Workshop on specification of abstract data types (8th : 1991
Recent trends in data type specification : 8th workshop on specification of abstract data types joint with the 3rd COMPASS workhop, Dourdan, France, Aug. 26-30, 1991 / edited by M. Bidoit and C. Choppy - - Berlin : Springer-Verlag, 1993 1993 - x,344 p. 23 cm - Lecture notes in computer science ; v.655 .
3-540-56379-20
Abstract data types (Computerscience)-Specifications-Congresses
Rewriting systems (Computer science)-Specifications-Congresses
681.3.06 Wor:8:91
Recent trends in data type specification : 8th workshop on specification of abstract data types joint with the 3rd COMPASS workhop, Dourdan, France, Aug. 26-30, 1991 / edited by M. Bidoit and C. Choppy - - Berlin : Springer-Verlag, 1993 1993 - x,344 p. 23 cm - Lecture notes in computer science ; v.655 .
3-540-56379-20
Abstract data types (Computerscience)-Specifications-Congresses
Rewriting systems (Computer science)-Specifications-Congresses
681.3.06 Wor:8:91