Voice and photo translation, offline features, synonyms, conjugation, learning games
Advertising
Register for free: access more results and features
program checking
Translation of "program checking" in German
Programmkontrolle
Use the machine lock function to perform operation such as program checking.
Führen Sie mit der Maschinensperrfunktion solche Schritte wie Programmkontrolle aus.
The new beta version of my program checking for propositional intuitionistic validity is now part of the server side of my Gateway to Logic. An improved algorithm covers the whole of intuitionistic logic.
Eine neue Beta-Version der Prüfung auf intuitionistische Gültigkeit ist Teil der zentralen Verarbeitungen meines Logikübergangs; ein verbesserter Algorithmus sorgt für vollständige Abdeckung der intuitionistischen Aussagenlogik.
Manuel Blum (Caracas, 26 April 1938) is a Venezuelan computer scientist who received the Turing Award in 1995 "In recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking".
Manuel Blum ( 26. April 1938 in Caracas, Venezuela) ist ein US-amerikanischer Informatiker, der 1995 „in Anerkennung seiner Beiträge zu den Grundlagen der algorithmischen Komplexitätstheorie sowie deren Anwendung in der Kryptographie und der Fehlerüberprüfung von Programmen" den Turing Award erhielt.
Programming and program checking can be done in the office.
Programmierung und Programmprüfung sind vom Büro aus möglich.
Synonyms and analogies of "program checking" in English
Word & Expression of the day
Image of the day
Suggestions that contain program checking
Results: 4. Exact: 4. Elapsed time: 143 ms.
