01290nam0 22003373i 450 NAP040217020240802063125.0020141608520080401d1992 ||||0itac50 baenggbz01i xxxe z01nProgram verificationNissim FrancezWokingham [etc.]Addison-Wesley1992XI, 312 p.24 cmInternational computer science seriesBibliografia: P. 295-303.001RMS00380742001 International computer science seriesProgrammi per elaboratoriVerificaFIRNAPC226613IElaboratori elettroniciProgrammiVerificaFIRCFIC029938I005.1PROGRAMMAZIONE14005.14PROGRAMMAZIONE. VERIFICA, PROVE, MISURAZIONE, MESSA A PUNTO (DEBUGGING)22Francez, NissimRMSV01721507052174ITIT-NA007920080401IT-BN0095 NAP0402170Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 FRA.pr 0102 0000004625 N A4 1 v.3 1993101919931019 01Program verification1501886UNISANNIO