01483nam2-2200409li-450 99000020961020331620180312154906.03-540-64591-80020961USA010020961(ALEPH)000020961USA01002096120001109d1998----km-y0itay0103----baengGWMathematics of program construction4th international conference, MPC'98 Marstrand, Sweden, June 15-17, 1998proceedingsJohan Jeuring (ed.)Berlin [etc.]Springer-Verlagcopyr. 1998X, 382 p.ill.24 cmLecture notes in computer science142200100202642001Lecture notes in computer sciencecongressimarstrand1998elaboratori elettronicicongressi19980051Programmazione. Tecnica di sviluppo dei programmiJeuring,JohanInternational conference MPC'984.Marstrand1998754795Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000209610203316001 LNCS (1422)002267700100104102BKSCI1998112920001110USA011714ALANDI9020010206USA01155520020403USA011629PATRY9020040406USA011615Mathematics of program construction1519005UNISA