01445nam2-2200397li-450 99000020645020331620180312154820.03-540-60973-30020645USA010020645(ALEPH)000020645USA01002064520001109d1996----km-y0itay0103----baengGWFME'96industrial benefit and advances informal methods3rd internationalsymposium of formal methods Europe: Oxford, UK, March 18-22, 1996proceedingsMarie-Claude Gaudel ...[et al.]Berlin [etc.]Springer-Verlagcopyr. 1996XII, 704 p.ill.24 cmLecture notes in computer science105100100202642001Lecture notes in computer sciencecongressioxford1996elaboratori elettroniciimpiego nell'industriacongressi1996004Elab. dei dati Scienza degli elab. InformaticaGaudel,Marie-ClaudeSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206450203316001 LNCS (1051)001901900100103841BKSCI1996060920001110USA011714ALANDI9020010201USA01102720020403USA011628PATRY9020040406USA011615FME'961501958UNISA