01572nam2-2200409li-450 99000020424020331620180312154612.03-540-56379-20020424USA010020424(ALEPH)000020424USA01002042420001109d1993----km-y0itay0103----baengGWRecent trends in data type specification8th Workshop on specification of abstract data type joint with the 3rd COMPASS worksshopDourdan, France, August 26-30, 1991selected papersM. Bidoit (ed.)Berlin [etc.]Springer-Verlagcopyr. 1993X, 344 p.ill.24 cmLecture notes in computer science65500100202642001Lecture notes in computer sciencecongressidourdan1991elaboratori elettroniciprogrammazionecongressi19910051Programmazione. Tecnica di sviluppo dei programmiBidoit,MichelWorkshop on specification of abstractdata types8.Dourdan1991745766Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204240203316001 LNCS (655)001510300100102907BKSCI1994100720001110USA011714ALANDI9020010129USA01131420020403USA011628PATRY9020040406USA011615Recent trends in data type specification1487643UNISA