01693nam2-2200433li-450 99000021149020331620180312154856.03-540-59132-X0021149USA010021149(ALEPH)000021149USA01002114920001109d1995----km-y0itay0103----baengGWRecent trends in data type specification10th workshop on specification of abstract data types, S. Margherita,Italy, May 30- June 3, 1994Egidio Astesiano (ed.)Berlin [etc.]Springer-Verlagcopyr. 1995VIII, 523 p.ill.25 cm.Lecture notes in computer science90600100202642001Lecture notes in computer sciencecongressis. margherita1994elaboratori elettroniciprogrammazionecongressi1994elaborazione elettronicamodelli matematicicongressi1994linguaggi di programmazionecongressi19940051Programmazione. Tecnica di sviluppo dei programmiAstesiano,EgidioWorkshop on specification of abstract data types10.S. Margherita1994754905Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000211490203316001 LNCS (906)001766500100103725BKSCI1996011220001110USA011714ALANDI9020010131USA01113920020403USA011629PATRY9020040406USA011615Recent trends in data type specification1519296UNISA