allemand

allemand anglais arabe catalan chinois coréen danois espagnol français grec hébreu hindi hongrois italien japonais néerlandais persan polonais portugais roumain russe slovaque suédois tchèque thaï turc ukrainien vietnamien

anglais

Définition allemand anglais arabe catalan chinois coréen danois espagnol français grec hébreu hindi hongrois italien japonais néerlandais persan polonais portugais roumain russe slovaque suédois tchèque thaï turc ukrainien vietnamien

Favoris

Bytecode-Verifiers

Exemples avec "Bytecode-Verifiers" et leurs traductions en anglais

Nous n’avons pas trouvé cette entrée. Affichage de résultats approximatifs. Vérifiez l’orthographe ou proposez d’ajouter ce terme au dictionnaire.

Bytecode

bytecode byte code byte-code

Verifiers

Verifiers verifier

Ziel dieser Arbeit war die Entwicklung eines Bytecode-Verifiers für das Java-Betriebssystem JX.

The aim of this thesis was to develop a Java Bytecode verifier for the JX Java operating system.

Die Dissertation präsentiert eine formale, ausführbare Spezifikation des Bytecode Verifiers sowie den Beweis, dass dieser korrekt ist.

This thesis presents a fully formal, executable, and machine checked specification of a representative subset of the Java Virtual Machine and its bytecode verifier together with a proof that the bytecode verifier is safe.

Aucun résultat pour cette recherche.

Passez à Premium pour accéder à des millions d’exemples de traduction, enregistrer et apprendre du vocabulaire en illimité, le tout sans publicité.

Synonymes et analogies de "Bytecode-Verifiers" en allemand

Plus de fonctionnalités avec l'app gratuite

Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs

Résultats: 2. Exacts: 0. Temps écoulé: 74 ms.