01408nam2-2200409li-450 99000020405020331620180312154818.03-540-56625-20020405USA010020405(ALEPH)000020405USA01002040520001109d1993----km-y0itay0103----baengGWMathematics of program constructionOxford, U.K., June 29/July 3, 1992: proceedingsR. S. Bird (ed.)Berlin [etc.]Springer-Verlagcopyr. 1993VIII, 378 p.ill.24 cmLecture notes in computer science66900100202642001Lecture notes in computer sciencecongressioxford (u.k.)1992elaboratori elettroniciprogrammazionecongressi199200512Svuluppo dei programmiBird,Richard S.Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204050203316001 LNCS 669001508900100102918BKSCI1999013120001110USA011714ALANDI9020010129USA011336PATTY9020010321USA01132920020403USA011628PATRY9020040406USA011615Mathematics of Program Construction772229UNISA