Engels

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

Duits

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 Duits

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

Hol

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

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

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).

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

Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor HOL-TestGen in het Engels

Woord & uitdrukking van de dag

mayhem

bear the consequences

Afbeelding van de dag

Ontdek het woord

dart

Publiciteit

Meer functies met onze gratis app

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

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