Examples with "corrections de programmation" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Si vous utilisez des outils internet rendus disponibles par Agrilliance, vous acceptez que des corrections de programmation, des améliorations de fonctionnalités, de nouveaux modules de logiciels, et des versions entièrement nouvelles des outils internet d'Agrilliance peuventêtre nécessaire de temps à autre.
If you use web tools made available by Agriliance, you agree that bug fixes, enhanced functions, new software modules, and completely new versions of Agrilliance web tools may be required from time to time.
Le procédé d'installation de la programmation de jeu est avantageux en ce que des mises à jour et des corrections de programmation peuvent n'être effectuées qu'une seule fois, puis téléchargées sur divers terminaux de jeux.
The method of installation of gaming programming provides the advantage that updates and programming fixes can be made once and then downloaded to various gaming terminals.
Andere resultaten
ALT-ERGO est un démonstrateur automatique spécialement conçu pour garantir la correction de programmes.
ALT-ERGO is an automatic prover specially designed to guarantee the correctness of programs.
L'intention originale de ces logiques est de vérifier formellement la correction de programmes manipulant des pointeurs.
These logics were originally intended for the formal verification of programs with pointers.
Correction de programme dans woodWOP sur le poste de préparation des travaux
Outre ses applications en mathématiques, l'outil Coq permet également de certifier la correction de programmes informatiques.
In addition to its applications in mathematics, Coq also allows certifying the correctness of computer programs.
Nous avons dû toutefois remonter dans nos dossiers et récupérer certaines des données qui avaient été abîmées par cette correction de programme.
We did have to go back through our records, though, and recover some of the data that was affected by this.
Nous offrons une expérience de gestion complète qui comprend le suivi, la correction de programme et le soutien administratif pour votre service d'hébergement de messagerie Exchange.
We offer a completely managed experience including monitoring, patching, and administrative support for your exchange service.
procédé de correction de programmes d'apprentissage pour robots
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
