go top

证明程序

网络释义专业释义

  [计] justification routine

... 证明策略 proof strategy 证明程序 justification routine 证明的定义 definition of proof ...

基于20个网页-相关网页

  Beweisverfahren

Reproduktion)侦查程序的结果,而是开始一个全新的(口头的)证明程序(Beweisverfahren)[36]。

基于12个网页-相关网页

  Proof of Concept

China-Pub blog--0与1的畅想 ://dream4ever.org/showthread.php?p=99246#post99246这个是自证明程序(POC, Proof-of-Concept)以来, 首次发现的利用这个漏洞的真实木马程序. 有兴趣的认识可以一起瞧瞧. 2. 下面的内容大多摘自

基于1个网页-相关网页

  POC

p=99246#post99246这个是自证明程序(POC, Proof-of-Concept)以来, 首次发现的利用这个漏洞的真实木马程序. 有兴趣的认识可以一起瞧瞧.

基于1个网页-相关网页

短语

定理证明程序 [计] theorem prover

这个是自证明程序 POC ; Proof-of-Concept

证明审计程序 documenting the audit process

检验证明程序 T&V

证明寻找程序 [计] proof finding program

证明与程序的类型 Types for Proofs and Programs

程序证明 Program Proving ; program proof ; program testifying

自动程序证明 [计] automatic program certification

 更多收起网络短语
  • justification routine
    prover

·2,447,543篇论文数据,部分数据来源于NoteExpress

新汉英大辞典

证明程序

  • prover
以上来源于:《新汉英大辞典》

双语例句原声例句

  • 第五部分是口供合法性证明程序具体运用

    The fifth part discusses the specific application in the legitimacy proof procedure of confession.

    youdao

  • 证明程序——检测工厂汽车符合符合联邦排放标准

    Certification program — the testing of automobiles at the factory for conformity to federal emissions standards.

    youdao

  • 异常测试目的使应用程序失效证明程序不能正常运行。

    Negative tests attempt to fail an application to demonstrate that the application is not functioning properly.

    youdao

更多双语例句
  • This is boring. In fact, you can do some nice things to prove what is the class of functions you can compute with straight-line programs, and what you'd see if you did that is, it's not particularly interesting.

    这很无聊,实际上,你可以通过做一些很有趣的事情,来证明你可以通过直线程序,来做很多功能,但是你也看到我们之前讲过的了,这不太有趣。

    麻省理工公开课 - 计算机科学及编程导论课程节选

  • Now, some of these things can prove things that are mathematically way over my head.

    如今,这些程序都可以证明一些,令我头大的数学题了

    耶鲁公开课 - 死亡课程节选

  • And, in fact, a computer program has come up with a proof that, as far as was known, nobody in the world had ever come up with before.

    而实际上,电脑程序证明方式,据目前所知,是前人们从未曾提出过的

    耶鲁公开课 - 死亡课程节选

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定