Sprachübersetzung, Offline-Funktionen, Synonyme, Konjugation, Lernspiele
Werbung
Kostenlos registrieren: mehr Ergebnisse und Funktionen freischalten
program checking
Übersetzung für "program checking" im Deutsch
Programmkontrolle
Use the machine lock function to perform operation such as program checking.
Führen Sie mit der Maschinensperrfunktion solche Schritte wie Programmkontrolle aus.
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.
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.
Synonyme und ähnliche Wörter für „program checking“ auf Englisch
Wort und Redewendung des Tages
Bild des Tages
Vorschläge, die program checking enthalten
Ergebnisse: 4. Genau: 4. Bearbeitungszeit: 186 ms.
