01453nam0 22003973i 450 NAP040217020251003044249.0020141608520080401d1992 ||||0itac50 baenggbz01i xxxe z01nProgram verificationNissim FrancezWokingham [etc.]Addison-Wesley1992XI, 312 p.24 cmInternational computer science seriesBibliografia: P. 295-303.001RMS00380742001 International computer science seriesElaboratori elettroniciProgrammiVerificaFIRCFIC029938I005.1PROGRAMMAZIONE14005.1422VerificazioneProgrammi didatticiProgrammi scolasticiPiani di lavoroVerificaVerificazioneProgrammiProgrammi didatticiProgrammiProgrammi scolasticiProgrammiPiani di lavoroFrancez, NissimRMSV01721507052174ITIT-00000020080401IT-BN0095 NAP 01SALA DING $NAP0402170Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 FRA.pr 0102 0000004625 VMA A4 1 v.Y 1993101919931019 01Program verification1501886UNISANNIO