Recent trends in data type specification : 10th workshop on specification of abstract data types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30-June 3, 1994 / edited by Egidio Astesiano, Gianna Reggio and Andrzej Tarlecki
Workshop on specification of abstract data types (10th : 199
Recent trends in data type specification : 10th workshop on specification of abstract data types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30-June 3, 1994 / edited by Egidio Astesiano, Gianna Reggio and Andrzej Tarlecki - - Berlin Springer 1995 - viii,523 p. 23 cm - Lecture notes in computer science ; v.906 .
3-540-59132-X1
Abstract data types (Computerscience)-Specifications-Congresses
Rewriting systems (Computer science)-Specifications-Congresses
681.3.06 Wor:10:94
Recent trends in data type specification : 10th workshop on specification of abstract data types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30-June 3, 1994 / edited by Egidio Astesiano, Gianna Reggio and Andrzej Tarlecki - - Berlin Springer 1995 - viii,523 p. 23 cm - Lecture notes in computer science ; v.906 .
3-540-59132-X1
Abstract data types (Computerscience)-Specifications-Congresses
Rewriting systems (Computer science)-Specifications-Congresses
681.3.06 Wor:10:94