灵活的程序 Compliance flexibility programs 认证程序 Verification programs 戴姆勒-克莱斯勒公司的WernerHoenig先生说："因为一种排放法规的各个部分都是相互关联的，因此对所选用的标准应予百分之百地采用...
基于36个网页-相关网页
Using recursion tremendously simplifies the verification of programs.
使用递归可以极度简化程序的核查。
The next task is to customise wrappers to allow rule checking, lookups and lookup verification (if required), logging, spawning programs and the use of banners.
下一个任务是定制wrappers，使它能够进行规则检查、查找和查找验证(如果需要的话)、记录、生成程序和使用标题。
A program correctness verification method corresponding to decomposition diagram description of deterministic application programs is presented in this paper.
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。
应用推荐