01606nam2-2200433li-450 99000021051020331620180312154618.03-540-58555-90021051USA010021051(ALEPH)000021051USA01002105120001109d1994----km-y0itay0103----baengGWFME'94industrial benefit of formal methodsecond International symposium of formal methods EuropeBarcelona, Spain, October 24-28, 1994proceedingsMaurice Naftalin, Tim Denvir (eds.)Berlin [etc.]Springer-Verlagcopyr. 1994XI, 723 p.ill.25 cmLecture notes in computer science87300100202642001Lecture notes in computer sciencecongressibarcellona1994elaboratori elettroniciimpiego nell'industriacongressi1994fisica sperimentale004Elab. dei dati Scienza degli elab. InformaticaDenvir,TimNaftalin,MauriceInternational symposium of formal methods Europe2.Barcellona1994745753Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210510203316001 LNCS (873)001742600100103670BKSCI1996011220001110USA011714ALANDI9020010131USA01104220020403USA011629PATRY9020040406USA011615FME'941487630UNISA