01234nam2-2200385li-450 99000019792020331620180312154747.00-201-41608-50019792USA010019792(ALEPH)000019792USA01001979220001109d1992----km-y0itay0103----baengGBProgram verificationNissim FrancezWokingham [etc.]Addison-Wesley copyr. 1992XI, 312 p.ill.24 cmInternational computer science series000100197842001International computer science seriessoftwareverifica00514Verifica, prove, misuraz. messa a punto (debuggingFrancez,Nissim52174Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000197920203316005.14 FRA0014919005.1400103286BKSCI1993061520001110USA011713ALANDI9020010322USA01101220020403USA011627PATRY9020040406USA011614Program verification1501886UNISA