Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2

Sitemap

Startseite

Login

Informationen / Hilfe Veranstaltungen Personen

Formale Spezifikation und Verifikation - Einzelansicht

Seiteninhalt:
Grunddaten
Termine
Studiengänge
Einrichtungen
Strukturbaum

Grunddaten
Veranstaltungsart	Vorlesung	Langtext
Veranstaltungsnummer	0401024	Kurztext
Semester	SS 2008
Erwartete Teilnehmer/-innen		Max. Teilnehmer/-innen
Rhythmus		Belegung	Belegpflicht
LV-Kennung (Lehrevaluation)	4862	Kurz-URL	https://klips.uni-koblenz.de/v/4862
Hyperlink	http://www.uni-koblenz.de/~beckert/Lehre/Spezifikation-Verifikation/	Durchführungsart

Termine Gruppe: [unbenannt]
	Tag	Zeit	Rhythmus	Termin	Prüfungs- termin	Raum	Gebäude / Karte	Campus	Lehrperson	Sprache	Bemerkung	fällt aus am	Max. Teilnehmer/-innen
	Di.	18:00 bis 20:00 c.t.	woch	08.04.2008 bis 12.07.2008		B 017	Gebäude B	Koblenz				08.04.2008: Beginnt in der 2. Vorlesungswoche
	Do.	14:00 bis 15:00 c.t.	woch	10.04.2008 bis 12.07.2008		B 017	Gebäude B	Koblenz				10.04.2008: Beginnt in der 2. Vorlesungswoche

Gruppe [unbenannt]:

vormerken

jetzt anmelden(belegen) / abmelden

Studiengänge
Abschluss	Studiengang	Semester	Prüfungsversion	Studienphase
Diplom	Diplom Informatik	-
Diplom	Diplom CV	-

Zuordnung zu Einrichtungen
Institut für Softwaretechnik
Institut für Informatik
FB 4 - Informatik

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SS 2008 , Aktuelles Semester: SoSe 2024

Erklärung zur Barrierefreiheit

QIS, LSF und HISinOne sind Produkte der HIS eG

User auf Server node3: 220