01575nam2-2200421li-450 99000020773020331620180312154714.03-540-65110-10020773USA010020773(ALEPH)000020773USA01002077320001109d1998----km-y0itay0103----baengGWComputer safety, reliability and security17th international conference, SAFECOMP'98Heidelberg, Germany, October 5-7, 1998proceedingsWolfgang Ehrenberger (ed.)Berlin [etc.]Springer-Verlagcopyr. 1998XVI, 392 p.ill.24 cmLecture notes in computer science151600100202642001Lecture notes in computer sciencecongressiheidelberg1998sicurezza dei daticongressi1998softwareverificacongressi19980051Programmazione. Tecnica di sviluppo dei programmiEhrenberger,WolfgangInternational conference SAFECOMP'9817Heidelberb1998746753Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000207730203316001 LNCS (1516)002313800100104192BKSCI1999031820001110USA011714ALANDI9020010207USA01174220020403USA011628PATRY9020040406USA011615Computer safety, reliability and security1490903UNISA