Examples with "correction du programme" 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.
Correction du programme d'installation proposant par défaut "company.mail" au lieu du nom de domaine saisi.
fix to installer dialogs default to "company.mail", not the specified domain name
Le flan est obtenu par usinage par électro-érosion au moyen d'un instrument à électrode à fil, la correction du programme d'usinage par électro-érosion étant effectuée en fonction des résulats de l'emboutissage du flan sur les matrices successives de la chaîne.
The blank is made by electro-erosion machining with a wire electrode-instrument, whereas the correction of the electro-erosion machining program is effected depending on the results of stamping of that blank on the subsequent dies of the line.
l'invention intègre dans un treillis d'états un modèle calculatoire: un système de type fort polymorphe; des domaines de limitation de visibilité; des assertions de premier ordre; une logique assurant la correction du programme
the invention integrates into a state-lattice computational model: a polymorphic strong type system; visibility-limiting domains; first-order assertions; and logic for providing a program correctness
Un cinquième système logique (BPL) met en corrélation les quatre autres systèmes, afin de prouver la correction du programme.
A fifth logical system (BPL) interrelates the other four systems allowing proofs of program correctness.
Correction du programme d'installation ne parvenant pas à valider une licence lorsque le système ne possède pas d'adresse MAC.
fix to installer unable to validate license when system does not have a MAC address
Correction du programme d'installation du client MC 64 bits ne détectant pas que Outlook 32 bits est installé et poursuivant l'installation.
fix to 64-bit MC client installer does not detect that Outlook 32-bit is installed and proceed with installation
Nous traitons cette question lors de l'étude de la correction du programme de calcul de la racine carrée de GMP.
Abstract: We study proof reuse in a type theory.We investigate this issue by studying the correctness of GMP square root.
Correction du programme d'installation et certains fichiers XML (Gomme devrait marcher maintenant) 1.1.1 19.3.2006
Correction du programme d'installation OCR affichant PROGRA~1 à l'emplacement par défaut.
fix for OCR installer showing PROGRA~1 in default destination
Potentieel gevoelige of ongepaste informatie
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.
