01451nam2-2200409li-450 99000020473020331620180312154649.03-540-56662-70020473USA010020473(ALEPH)000020473USA01002047320001109d1993----km-y0itay0103----baengGWFME'93industrial-strength formal methods: first international symposium, Odense, Denmark, April 19-23, 1993 :proceedingsJ. C. P. Woodcock (ed.)Berlin [etc.]Springer-Verlagcopyr. 1993XI, 689 p.ill.24 cmLecture notes in computer science67000100202642001Lecture notes in computer sciencecongressiodense1993elaboratori elettroniciimpiego nell'industriacongressi1993004Elab. dei dati Scienza degli elab. InformaticaWoodcock,James C. P.Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204730203316001 LNCS 670001509000100102919BKSCI1994120220001110USA011714ALANDI9020010129USA011507PATTY9020010321USA01133020020403USA011628PATRY9020040406USA011615FME'931489177UNISA