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.


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