Vertaling van "for programming languages" in Frans
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.
pour les langages de programmation
de langages de programmation
sur les langages de programmation
des langages de programmation
Context-dependent help for programming languages and function blocks
Behavioral type systems for programming languages provide a strong mechanism for reasoning on programs actions at static time.
Les systèmes de type comportemental pour les langages de programmation fournissent un mécanisme fort pour raisonner sur les actions des programmes à l'heure statique.
Do you provide any libraries for programming languages?
The Gallinette team aims at developing a new generation of proof assistants (for programming languages notably), with the belief that practical experiments must go in pair with foundational investigation.
L'équipe Gallinette travaille sur une nouvelle génération d'assistants de preuve (de langages de programmation notamment), avec l'idée directrice que l'expérimentation pratique va de pair avec la recherche fondamentale.
Since the beginning of 2013, software vendor think-cell supports the German Institute for Standardization's (DIN) working group for programming languages.
Depuis le début de l'année 2013, l'éditeur de logiciels think-cell finance le groupe de travail sur les langages de programmation de l'Institut allemand de normalisation (DIN).
We fund the working group for programming languages of the German Institute for Standardization (DIN).
Plus, a knack for programming languages - not expert level - also helps when it comes to transforming streams of data into heavy-hitting campaigns.
Par ailleurs, un goût pour les langages de programmation - pas à un niveau expert - peut s'avérer utile pour transformer les flux de données en campagnes à fort impact.
It is seen both as providing foundations for programming languages and logic, and as a purveyor of techniques essential to the development of proof assistants.
Elle est considérée à la fois comme une base pour les langages de programmation et la logique, et comme un fournisseur de techniques essentielles au développement des assistants de preuve.
The support for text files (primarily for programming languages) is simplistic, inefficient and requires recompilation to update.
Le support des fichiers texte (principalement pour les langages de programmation) est simpliste, inefficace, et requiert une recompilation pour une mise à jour.
The online help for a product contains information about product concepts, procedures for completing tasks, and reference information for programming languages.
L'aide en ligne d'un produit comprend des informations sur les concepts et les procédures permettant d'accomplir certaines tâches, et des informations de référence pour les langages de programmation.
Python defines pow(0, 0) and 0 0 to be 1, as is common for programming languages.
Python définit pow(0, 0) et 0 0 valant 1, puisque c'est courant pour les langages de programmation, et logique.
Cheat sheets for programming languages
Cheat feuilles pour les langages de programmation
On the other, we are defining new semantic elements for programming languages, so that new software can be designed from the start to be more flexible and easier to modify.
D'autre part, nous définissons de nouveaux éléments sémantiques pour les langages de programmation, afin de construire des logiciels plus flexibles et plus facilement reconfigurables. Pourquoi avoir choisi un tel sujet ?
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.