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.
the resulting programs
Dans ce cours, nous aborderons les techniques de base de la programmation dans ce langage et de la démonstration sur les programmes obtenus.
In this course, we will cover the basic techniques for programming in this language and performing proofs on the resulting programs.
Les programmes obtenus s'exécutent beaucoup plus vite que lorsqu'on les compile avec le compilateur de byte-code du système Caml Light.
The resulting programs execute much faster than when compiled with the bytecoded Caml Light system.
Fonds pour soutenir les programmes obtenus d'autres sources.
Dans ce cours, nous aborderons les techniques de base de la programmation dans ce langage et de la démonstration sur les programmes obtenus.
In this school, we address the basic programming techniques and approaches to prove properties of the programs.
Les programmes obtenus peuvent alors être compilés et assemblés sur la machine cible pour produire le logiciel exécutable.
The programmes obtained can then be compiled and assembled on the target machine to produce the executable software.
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.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor les programmes obtenus in het Frans
