Duits

Arabisch Catalaans Chinees Deens Duits Engels Frans Grieks Hebreeuws Hindi Hongaars Italiaans Japans Koreaans Nederlands Oekraïens Perzisch Pools Portugees Roemeens Russisch Slowaaks Spaans Thai Tsjechisch Turks Vietnamees Zweeds

Engels

Definitie Arabisch Catalaans Chinees Deens Duits Engels Frans Grieks Hebreeuws Hindi Hongaars Italiaans Japans Koreaans Nederlands Oekraïens Perzisch Pools Portugees Roemeens Russisch Slowaaks Spaans Thai Tsjechisch Turks Vietnamees Zweeds

Favorieten

Publiciteit

eines Bytecode-Verifiers

Examples with "eines Bytecode-Verifiers" 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.

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.

Andere resultaten

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.

Er zijn geen resultaten gevonden voor deze term.

Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.

Synoniemen voor eines Bytecode-Verifiers in het Duits

Publiciteit

Meer functies met onze gratis app

Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes

Resultaten: 2. Exact: 1. Verstreken tijd: 60 ms.