Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
program verification
Vertaling van "program verification" in Spaans
verificación del programa
verificación de programas
This saves valuable machine time, normally associated with program verification in the machine.
Esto ahorra tiempo de máquina, normalmente asociado con la verificación del programa en la máquina.
This will save valuable machine time normally associated with program verification on the machine tool.
Esto ahorra tiempo de máquina, normalmente asociado con la verificación del programa en la máquina.
It has close links with other areas of computer science such as programming language design, type theory, compilers and interpreters, program verification and model checking.
También tiene vínculos cercanos con otras áreas de la ciencia de la computación como el diseño de lenguajes de programación, teoría de tipos, intérpretes y compiladores, verificación de programas y modelos.
Deep understanding of how the program logics work, experience in program verification and in interactive theorem are fundamental to be able to complete these proofs.
Un íntimo entendimiento de los detalles de cómo funcionan las lógicas de programa, experiencia en verificación de programas y experiencia con asistentes de prueba interactivos son fundamentales para poder completar las pruebas.
Training program verification has an annual maintenance fee and training program renewal.
La verificación del programa de entrenamiento tiene una cuota de mantenimiento anual y renovación del programa de entrenamiento.
After the measure-specific data is submitted, a program verification engineer will conduct a baseline inspection.
Luego de que se presenten los datos específicos de medición, un ingeniero de verificación del programa llevará a cabo una inspección de línea base.
Program verification between changes is also unnecessary, saving you the time of running through the entire program each time a problem is identified and edits made.
La verificación del programa entre cambios también deja de ser necesaria, lo cual ahorra tiempo de ejecución a lo largo de todo el programa cada vez que se identifica un problema y se aplican ediciones.
Ethisphere provides the only third-party verifications of compliance programs and ethical cultures, Ethics Inside Certification, Anti-Corruption Leader Verification and Compliance Program Verification.
Ethisphere proporciona las verificaciones de terceros de los programas de cumplimiento de normas y culturas éticas, Ethics Inside Certification, la verificación líder de la lucha contra la corrupción y la verificación del programa de cumplimiento de normas.
Ethisphere provides the only third-party verifications of compliance programs and ethical cultures that include: Ethics Inside Certification, Compliance Leader Verification and Anti-Corruption Program Verification.
Ethisphere provee las únicas verificaciones de terceros sobre programas de conformidad y de costumbres éticas que incluyen: la Certificación de Ética Interna, la Verificación Líder de Conformidad y la Verificación del Programa de Anti-Corrupción.
External pull-ups are required during program verification.
Para esto, son necesarias Pull-Up externas.
An automated compositional program verification technique for safety properties based on quasi-invariants.
Una técnica automatizada de verificación por partes de propiedades de corrección de un programa basada en cuasi-invariantes.
Extended ML is used for research into and teaching of formal program development and specification, and research into automatic program verification.
Extended ML se utiliza para la enseñanza de desarrollo formal de programas, especificación de programas y para investigación en verificación automatizada de programas.
A. The cost of program verification is based on the duration of the program plus the number of additional specialties the program covers.
R.El costo del programa de verificación está basado en la duración del programa más el número de especialidades que el programa cubre.
Synoniemen voor program verification in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 17. Exact: 17. Verstreken tijd: 51 ms.
