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

HOL-TestGen

Examples with "HOL-TestGen" 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.

hol

bring grab take pick fetch

Test

test testing review tests assay

Gen

gene gen Gn genes Comrade

Die Installation von Isabelle 2008 (und HOL-TestGen) auf einem Debian GNU/Linux sollte unkompliziert sein.

Installing Isabelle 2008 (and also HOL-TestGen) on an Debian GNU/Linux should be straight forward.

Desweiteren ist er Softwareentwickler von Theorembeweisern für Z (HOL-Z) und UML/OCL (HOL-OCL) sowie eines modelbasierten Testdatengenerators (HOL-TestGen).

Moreover, he is participating in the development of interactive theorem proving environments for Z (HOL-Z) and UML/OCL (HOL-OCL, which is integrated into a formal MDE toolchain) and a model-based test-case generator (HOL-TestGen).

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 HOL-TestGen in het Duits

Publiciteit

Meer functies met onze gratis app

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

Resultaten: 2. Exact: 2. Verstreken tijd: 135 ms.