Dein Glückskeks sagt:
Beware of a dark-haired man with a loud tie.
Prüfungsprotokoll Form.Verification
Formal Methods / kurzes Prüfungsprotokoll | |
| Typ: | Prüfungsprotokoll |
|---|---|
| Lehrveranstaltung: | Formal Verification of Software |
| Dozent: | Jun. Prof. Dr. Bernhard Beckert |
| Erstellt: | 08. August 2008 |
| Dateityp: | application/pdf |
Datei ist
4,9 KB
groß.
|
|
FB1 Pädagogik
FB2 Philologie/Kultur
FB3 Naturwiss.
FB4 Informatik
- Animation Simulation
- Betriebliche Informationssysteme
- Betriebliche Kommunikationssysteme 1
- Betriebliche Kommunikationssysteme 2
- Betriebssysteme 1
- Betriebssysteme 2
- Betriebwirtschaftslehre
- Bildverarbeitung
- Compilerbau
- Computergraphik 1
- Computergraphik 2
- Data Mining
- Datenbanken 1
- Datenbanken 2
- Datenschutz und Datensicherheit
- Digital Rights Management
- Digitale Kommunikation
- Echtzeitsysteme
- Einführung in die Computerlinguistik 1
- Einführung in die Computerlinguistik 2
- Einsatz von Datenbanken
- Formal Verification of Software
- Grundlagen der IT-Sicherheit
- IT Risk Management
- Informatik A
- Informatik B
- Informatik C (Rechnerorganisation)
- Informatik für Informationsmanager 2
- Information Retrieval
- Informationsgesellschaft
- Informationsmanagement 1
- Investition & Finanzierung
- Kryptographie
- Künstliche Intelligenz
- Logik für Informatiker
- Logik und Datenbanken
- Marketing
- Medientechnik
- Mensch Maschine Kommunikation
- Mobile Application Systems
- Mobile Systeme
- Modellierung betrieblicher Informationssysteme
- Multimedia- und Internet-Datenbanken
- Netztheorie
- Organisation und Management
- Petrinetze
- Photorealistische Computergraphik
- Programmierung
- Projektmanagement
- Rechnernetze 1
- Rechnernetze 2
- Rechnersehen
- Requirements Engineering
- Semantic Web
- Sicherheit von IT-Systemen
- Simulation
- Software Measurement
- Software ReEngineering
- Software-Architektur
- Software-Engineering
- Softwareergonomie 1
- Softwareergonomie 2
- Softwaretechnik 1
- Softwaretechnik 2
- Systemanalyse
- Technische Informatik B (Rechnerstrukturen)
- Theoretische Informatik 1
- Theoretische Informatik 2
- Verwaltungsinformatik 1
- Verwaltungsinformatik 2
- Virtual Reality/Augmented Reality
- Wirtschaftsinformatik der Dienstleistungsindustrie