MLU
Vorlesung: Vorlesung Spezifikationstechniken (R2.25) - Details
Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Vorlesung: Vorlesung Spezifikationstechniken (R2.25)
Semester WS 2012/13
Aktuelle Anzahl der Teilnehmenden 0
Heimat-Einrichtung Leitung des Instituts für Informatik
beteiligte Einrichtungen Praktische Informatik (Softwareengineering)
Veranstaltungstyp Vorlesung in der Kategorie Offizielle Lehrveranstaltungen
Erster Termin Dienstag, 09.10.2012 10:15 - 12:45
Voraussetzungen Keine
Studiengänge (für) Wirschaftsinformatik
Informatik
Bioinformatik
SWS 3(V)+2(Ü)
Sonstiges http://swt.informatik.uni-halle.de/lehre/46519_192587/192587_192655/index.de.php

Räume und Zeiten

Keine Raumangabe
Dienstag: 10:15 - 12:45, wöchentlich(15x)

Studienbereiche

Kommentar/Beschreibung

- Algebraische Spezifikation
- Abstrakte Problemdefinition
- Abstrakte Zustandsmaschinen
- Temporale Logik
- Modellprüfung