Datei Diskussion:Theoretische-informatik.svg

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Anm.: In der Übersicht fehlt noch der Bereich der statischen Verifikation von Programmen, also SAT-solving, formale Logiken, Softwareverifikation etc. (nicht signierter Beitrag von 78.43.34.97 (Diskussion) 11:24, 9. Jul 2011 (CEST))