Examples with "code respecte des" 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.
Elle permet de prouver, en utilisant des outils externes de démonstration automatique ou semi-automatique de théorèmes, qu'un code respecte des spécifications formelles du comportement attendu.
It allows you to prove, using external automatic or semi-automatic theorem proving tools, that a set of code complies with the formal anticipated behaviour specification.
Andere resultaten
Chaque nouveau projet nécessite un contrôleur pour vérifier le respect des codes du bâtiment.
Every new project requires a surveyor to verify adherence to building codes.
Le respect des codes de conduite peut être rendu obligatoire par la loi.
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.
