It extends the syntax of ML to include axioms, which need not be executable but can rigorously specify the no ser ejecutables pero que sirven para especificar rigurosamente el comportamiento... Enciclopedia Universal
Extiende la sintaxis de ML para incluir axiomas de semántica, los cuales pueden no ser ejecutables pero que sirven para... Wikipedia Español
If doom is used driver also applies unless noted otherwise, and executable types not in italics are actual executale file names.
Si se utiliza doom, driver también se aplica a menos que se indique lo contrario, y los tipos ejecutables no en cursiva son nombres de archivo executables reales.
Before sharing, I checked that the executable was the latest version.
Antes de compartir, verifiqué que el ejecutable fuera la versión más reciente.
He found the executable in the downloads folder and opened it.
Encontró el ejecutable en la carpeta de descargas y lo abrió.
I verified that the executable launched without crashing during my trials.
Verifiqué que el ejecutable se iniciara sin fallos durante mis pruebas.
Make sure to scan the executable for viruses before running it.
Asegúrate de escanear el ejecutable en busca de virus antes de ejecutarlo.
After compiling, the developer tested the executable code on several devices.
Después de compilar, el desarrollador probó el código ejecutable en varios dispositivos.
After debugging, the executable code ran flawlessly on the first attempt.
Después de depurar, el código ejecutable funcionó perfectamente en el primer intento.
Conținut posibil inadecvat
Exemplele au rolul de a te ajuta să traduci cuvinte sau expresii corect si adaptat la context. Nu sunt selectate sau validate manual, așadar pot conține termeni inadecvați. Te rugăm să raportezi exemplele pe care le consideri inadecvate. Traducerile vulgare sau colocviale sunt în general marcate cu roșu sau cu portocaliu.
Înregistrează-te pentru a accesa mai multe exemple