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 : selected papers /

"This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th Workshop on Specification of Abstract Data Types, held jointly with the 4th COMPASS Workshop in S. Margherita, Italy in June 1994. The volume gives a comprehensive state...

Full description

Bibliographic Details

Corporate Authors:	Workshop on Specification of Abstract Data Types Santa Margherita, Italy, SpringerLink (Online service), COMPASS Workshop
Other Authors:	Astesiano, E. (Egidio), 1939-, Reggio, Gianna, 1957-, Tarlecki, Andrzej
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1995.
Series:	Lecture notes in computer science ; 906.
Subjects:	Abstract data types (Computer science) > Congresses. sémantique algébrique. système objet. théorie démonstration. réécriture. type donnée. type abstrait. spécification algébrique. Abstract data types (Computer science) Programmatuurtechniek. Datastructuren. Types abstraits de données (informatique) > Congrès. Electronic books. Conference proceedings. Electronic resources (Books)
Online Access:	Connect to the full text of this electronic book