Examples with "programmes avec des effets" 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.
Le but de cette thèse est de définir un cadre sémantique générique pour vérifier que des programmes avec des effets monadique arbitraire respectent de telles spécifications.
The goal of this thesis is to devise a principled semantic framework for verifying programs with arbitrary monadic effects in a generic way with respect to such rich specifications.
Nous remarquons que l'enjeu n'est pas seulement la certification de programmes avec des effets, mais qu'elle a aussi des implications en termes de sémantique et de logique.
We notice that at stake is not only the certification of programs with effects, but that it has also implications in semantics and logic.
Andere resultaten
Réaliser et filmer le programme avec des effets spéciaux.
Nous pensons que la spécification formelle par cas d'utilisation est l'une des clés pour vérifier des programmes avec effets, sachant que la méthode des cas d'utilisation s'est avérée utile dans l'industrie pour exprimer des spécifications informelles.
We believe that the formal specification by use cases is one of the keys to verify effectful programs, as the method of use cases proved to be convenient to express (informal) specifications in the software industry.
Il est possible de rattraper plus tard, et nous organisons des programmes à cet effet avec des enfants plus âgés, mais c'est beaucoup mieux de ne pas rater le coche.
No. Although you can catch up later, and some of the programmes which we run with slightly older children are 'catch up' programmes.
16 programmes d'effet avec des paramètres ajustables vous offrent une réverbération numérique, un écho, un retard, une modulation et une distorsion haut de gamme.
16 effect programs with adjustable parameters give you top-quality digital reverb, echo, delay, modulation, and distortion.
ArtRage 2 Starter Edition programme de peinture avec des effets de peinture réalistes.
Le dispositif mobile de prévention contre les virus rend possible l'exécution d'un programme de vaccination permettant une prévention des virus indépendamment du système d'exploitation, et l'installation du programme de vaccination avec des effets viraux minimisés.
With the mobile virus prevention apparatus, it is possible to execute a vaccine program for virus prevention independently of an operating system and to install the vaccine program with minimized virus effects.
Le programme est livré avec des effets tels que le flou, la netteté, la suppression des yeux rouges, de distorsion, de bruit et de gaufrage, vous permettant d'améliorer vos images.
The program comes with effects such as blurring, sharpening, red-eye removal, distortion, noise and embossing, allowing you to enhance your images. Editorial review
Plus de 2000 écoles coraniques (Tadika) suivent désormais un programme standard, avec des effets positifs sur la qualité de l'enseignement et l'apprentissage.
More than 2,000 Tadika schools are now implementing a standard curriculum, improving teacher quality, and learning.
Ce programme aura des effets, comme les autres programmes qui existent.
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.
