[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Termine für Werkzeugpräsentationen und neues Übungsblatt
- To: SQ-Mailingliste <sq@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>
- Subject: Termine für Werkzeugpräsentationen und neues Übungsblatt
- From: Wolfgang Runte <woru@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>
- Date: Thu, 29 Jan 2009 14:10:43 +0100
- Organization: Institut für Informatik, Universität Osnabrück
- User-agent: Mozilla/5.0 (X11; U; Linux x86_64; de-AT; rv:1.8.1.8) Gecko/20071008 Iceape/1.1.5 (Ubuntu-1.1.5-1ubuntu0.7.10)
Hallo SQMler,
unter der folgenden Adresse habe ich die Termine für die
Werkzeugpräsentationen hinterlegt:
<http://www-lehre.inf.uos.de/~sq/2008/uebung/09/Termine_Werkzeugpraesentationen.txt>
Wenn es Anmerkungen gibt, bitte kurz melden.
Außerdem ist das 12. Übungsblatt (Anomalieanalyse & Model Checking)
mittlerweile online:
<http://www-lehre.inf.uos.de/~sq/2008/aufgaben/blatt12/blatt12.pdf>
Viele Grüße
Wolfgang
--
Dipl.-Inf. Wolfgang Runte woru@xxxxxxxxxxxxxxxxxxxxxxxxxxxx
Institut für Informatik +49-541-969-2487 (Fon)
Universität Osnabrück +49-541-969-2799 (Fax)
Albrechtstraße 28, Raum 31/317 http://www.inf.uos.de/se
D-49069 Osnabrück