01424nam2-2200409li-450 99000020977020331620180312154742.03-540-65014-80020977USA010020977(ALEPH)000020977USA01002097720001109d1998----km-y0itay0103----baengGWStati analysis5th international symposium, SAS'98 Pisa, Italy, September 14-16, 1998 proceedingsGiorgio Levi (ed.)Berlin [etc.]Springer-Verlagcopyr. 1998IX, 380 p.ill.20 cmLecture notes in computer science150300100202642001Lecture notes in computer sciencecongressipisa1998programmazione logicacongressi19980051Programmazione. Tecnica di sviluppo dei programmiLevi,GiorgioInternational symposium SAS'985.Pisa1998747258Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000209770203316001 LNCS (1503)002280300100104183BKSCI1998122820001110USA011714ALANDI9020010207USA01171520020403USA011629PATRY9020040406USA011615Stati analysis1492569UNISA