image0

ist der Kram keinesfalls - obwohl die meisten unter euch das wohl trotzdem finden werden. Wer sich dennoch mal mit dem beschäftigen möchte, mit dem ich mich so in meinem Studium und bei meiner Arbeit beschäftige, darf sich nicht abschrecken lassen und kann einfach mal auf der Seite von Nielson, Nielson und Hankin der Neuauflage des links zu sehenden Buches widmen. Es gibt auch eine Reihe von Folien und sonstigem Kram, der das Paket vervollständigt.

Achja, wer es noch nicht bemerkt haben sollte: Es geht um Programmanalyse. Will sagen, man versucht herauszufinden, wie man Eigenschaften von Computerprogrammen nachweist.


Funktionen Studium git hardware Comic importiert audio dtp ZDF Linux HP35s Spiele kunst hacking Latex ccc workshop JavaScript bloggen ldl Bilder rs232 admin lernen debian cloud ctf bildung das-labor Commandline xmpp video chatgpt Linkliste serielle Schnittstelle GPIO server Spaß Smarthome Konferenz IoT esp8266 docker Tools raspberrypi Datenbank Tipp Clonezilla software Newsgroup ldlmooc buch podcast mooc Tafelbild badge Film python NNTP Geschichten 3dDruck Termin SciFi ITA sdr programmierung heise c't bio Windows screencast Wissenschaft game-engine gamejam Taschenrechner Sketchnotes Sport Informatik RSS TV Text Chat Archiv Second Life 35c3 ubuntu 34c3 Gesellschaft e-mail Arduino Dortmund fun wiki Kino Psychologie Usenet INN Twitter pdf Mathe