01508nam2-2200409li-450 99000020743020331620180312154759.03-540-61629-20020743USA010020743(ALEPH)000020743USA01002074320001109d1996----km-y0itay0103----baengGWRecent trends in data type specification11th Workshop on specification of abstract data typesOslo, Norway,September 19-23, 1995selected papersMagne Haveraaen ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1996VIII, 550 p.ill.25 cmLecture notes in computer science113000100202642001Lecture notes in computer sciencecongressioslo1995struttura dei daticongressi199500573Struttura dei datiHaveraaen,MagneWorkshop on specification of abstract data types11.Oslo1995753223Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000207430203316001 LNCS (1130)001977900100103904BKSCI1997030920001110USA011714ALANDI9020010201USA01133520020403USA011628PATRY9020040406USA011615Recent trends in data type specification1515157UNISA