01567nam2-2200421li-450 99000021101020331620180312154631.03-540-60117-10021101USA010021101(ALEPH)000021101USA01002110120001109d1995----km-y0itay0103----baengGWMathematics of program constructionthird International conference, MPC '95Kloster Irsee, Germany, July 17-21, 1995proceedingsBernhard Möller (ed.)Berlin [etc.]Springer-Verlagcopyr. 1995VIII, 472 p.ill.25 cmLecture notes in computer science94700100202642001Lecture notes in computer sciencecongressikloster1995elaboratori elettroniciprogrammazionecongressi1995logica matematicacongressi19950051Programmazione. Tecnica di sviluppo dei programmiMoller,BernhardInternational conference MPC'953.Kloster Irsee1995745732Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000211010203316001 LNCS (947)001870000100103715BKSCI1996040520001110USA011714ALANDI9020010131USA01131620020403USA011629PATRY9020040406USA011615Mathematics of program construction1487593UNISA