处理: deal or cope with程序: procedure验证: test and verify; checking; p ...处理程序验证, 处理机验证: processor verification程序验证: program validation; program verification; routine verification微程序验证: microprogram validation结构程序验证: constructive program verification自动程序验证: automatic program verification自动程序验证程序: automated program verifier计算机程序验证: computer program verification用户程序验证设施: user program verification facility自动程序验证系统: automatic program verification system验证管理程序: verification management programcatch处理程序: catch handlercobol处理程序: cobol processorfortran处理程序: fortran processor包处理程序: packet handler表处理程序: list processing program; list processing routine; list processor处理程序: handler; handling procedure; manipulator; proce ing program; processing program processor; treatment schedule处理程序表: processing program table得处理程序: call proce ing pragram; call processing pragram宏处理程序: macro processor; macroprocessor后处理程序: down stream; post processor; postprocessor块处理程序: bh block handler; block handling routine; block processor; block-handling routine批处理程序: batch facility; batch program; batch-processing program
