01700nam2-2200433li-450 99000021171020331620180312154855.03-540-57867-60021171USA010021171(ALEPH)000021171USA01002117120001109d1994----km-y0itay0103----baengGWRecent trends in data type specification9th Workshop on specification of abstract data types Caldes de Malavella, Spain, October 26-30, 1992Hartmut Ehrig (ed.)Berlin [etc.]Springer-Verlagcopyr. 1994VIII, 350 p.ill.24 cmLecture notes in computer science78500100202642001Lecture notes in computer sciencecongressicaldes de malavella1994elaboratori elettroniciprogrammazionecongressi1992elaborazione elettronicamodelli matematicicongressi1992linguaggi di programmazionecongressi19920051Programmazione. Tecnica di sviluppo dei programmiEhrig,HartmutWorkshop on specification of abstract data type9.Caldes de Malavella1992754913Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000211710203316001 LNCS (785)001633500100103091BKSCI1995101020001110USA011714ALANDI9020010130USA01120220020403USA011629PATRY9020040406USA011615Recent trends in data type specification1519307UNISA