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.


git e-mail Informatik Studium video Sport bloggen HP35s 35c3 server pdf raspberrypi Windows Latex Funktionen Text admin das-labor importiert audio gamejam esp8266 ccc game-engine Spaß Clonezilla wiki cloud ldl TV Termin Datenbank Tools Linux RSS software Konferenz hardware buch screencast hacking Linkliste Kino Twitter c't programmierung Film kunst ctf Dortmund Gesellschaft Taschenrechner Second Life Geschichten Chat Bilder Tafelbild python Mathe Tipp podcast Comic 34c3 JavaScript Spiele llm bildung ldlmooc Wissenschaft fun lernen mooc