Examples with "Automatisierte Programmverifikation" 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.
Kenntnisse in Programmverifikation oder verwandten Gebieten (z.B. "Termersetzungssysteme", "Automatisierte Programmverifikation" oder Besuch der Vorlesung "Grundlagen der Funktionalen Programmierung" in diesem Semester).
Participants should have some knowledge in program verification or related areas (for example "term rewriting", "mechanized program verification", or "functional programming"). It is also possible to attend the course on "functional programming" this semester.
Andere resultaten
Termersetzungssysteme werden daher in vielen Bereichen wie der automatisierten Programmverifikation, der Spezifikation von Programmen und der deklarativen Programmierung eingesetzt.
Therefore, term rewriting systems are used in many areas like mechanized program verification, specification of programs and declarative programming.
Darüber hinaus sollten Sie Kenntnisse in "Logikprogrammierung", "Automatisierter Programmverifikation" oder "Funktionaler Programmierung" aus früheren Semestern besitzen.
Moreover, you should have knowledge in "logic programming", "automated program verification", or "functional programming" from earlier semesters.
Darüber hinaus sollten Sie Kenntnisse in "Logikprogrammierung", "Automatisierter Programmverifikation" oder "Funktionaler Programmierung" aus früheren Semestern besitzen.
In addition, knowledge in program verification or declarative programming languages would be advantageous (e.g., as in the lectures "functional programming", "logic programming", etc.
"Funktionaler Programmierung", "Logikprogrammierung", "Termersetzungssystemen" oder "Automatisierter Programmverifikation". Bitte geben Sie bei der Anmeldung an, welche dieser Vorlesungen Sie besucht haben (am besten mit aktiver Teilnahme an den Übungen). Inhalt
Participants should have knowledge in satisfiability checking and/or program verification or related areas (for example from courses on "Satisfiability Checking", "Modeling and Analysis of Hybrid Systems", "Logic Programming", "Functional Programming", or "Term Rewriting")
Potentieel gevoelige of ongepaste informatie
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.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor Automatisierte Programmverifikation in het Duits
