Workshop on specification of abstract data types : <9. : ; 1992
Titolo
Recent trends in data type specification : 9. Workshop on specification of abstract data types joint with the 4. COMPASS workshop : Caldes de Malvella, Spain, October 26-30, 1992 : selected papers / Hartmund Ehrig, Fernando Orejas
Pubbl/distr/stampa
Berlin [etc.], : Springer, c1994
ISBN
0387578676
3540578676
Descrizione fisica
VIII, 350 p. ; 24 cm.
Collana
Lecture notes in computer science / edited by G. Goos and J. Hartmanis ; 785