TU Wien:Seminar Formale Methoden SE (Cerny)
Zur Navigation springen
Zur Suche springen
Ähnlich benannte LVAs (Materialien):
Diese Seite hat noch keine Anhänge, du kannst aber neue hinzufügen.
- Seminar Formale Methoden SE (Kovacs) (TU Wien, 0 Materialien)
- Seminar Formale Methoden SE (Weissenbacher) (TU Wien, 0 Materialien)
- Seminar Formale Methoden SE (Zuleger) (TU Wien, 0 Materialien)
- Seminar Formale Methoden SE (diverse) (TU Wien, 0 Materialien)
- Seminar Formale Methoden SE (Cerny) (TU Wien, veraltet, 0 Materialien)
Daten
[Bearbeiten | Quelltext bearbeiten]Diese LVA wird nicht mehr von dieser Person angeboten, ist ausgelaufen, oder läuft aus und befindet sich daher nur noch zu historischen Zwecken im VoWi.
| Vortragende | Pavol Cerny• Daniela Kaufmann |
|---|---|
| ECTS | 3 |
| Alias | Seminar Formal Methods (en) |
| Letzte Abhaltung | 2023WS |
| Sprache | English |
| Mattermost | seminar-formale-methoden • Register • Mattermost-Infos |
| Links | tiss:181221 |
| Masterstudium Logic and Computation | |
| Masterstudium Software Engineering & Internet Computing (veraltet) |
Inhalt
[Bearbeiten | Quelltext bearbeiten]noch offen, bitte nicht von TISS/u:find oder Homepage kopieren, sondern aus Studierendensicht beschreiben.
Ablauf
[Bearbeiten | Quelltext bearbeiten]noch offen
Benötigte/Empfehlenswerte Vorkenntnisse
[Bearbeiten | Quelltext bearbeiten]noch offen
Vortrag
[Bearbeiten | Quelltext bearbeiten]noch offen
Übungen
[Bearbeiten | Quelltext bearbeiten]noch offen
Prüfung, Benotung
[Bearbeiten | Quelltext bearbeiten]noch offen
Dauer der Zeugnisausstellung
[Bearbeiten | Quelltext bearbeiten]noch offen
Zeitaufwand
[Bearbeiten | Quelltext bearbeiten]noch offen
Unterlagen
[Bearbeiten | Quelltext bearbeiten]noch offen
Tipps
[Bearbeiten | Quelltext bearbeiten]noch offen
Verbesserungsvorschläge / Kritik
[Bearbeiten | Quelltext bearbeiten]noch offen