Zurück zur Übersicht

An Elementary Logic for Object Specification and Verification

author/s: Stefan Conrad, Hans-Dieter Ehrich
type:Inproceedings
editor:U.W. Lipeck, G. Vossen
booktitle:GI-AK/EMISA-Workshop ``Formale Grundlagen für den Entwurf von Informationssysteme'' (Tutzing 24.-26.05.94)
publisher:Universität Hannover, Informatik-Bericht 03/94
pages:197-206
month:May
year:1994

Heinrich Heine Universität

Datenbanken und Informationssysteme

Lehrstuhlinhaber

Prof. Dr. Stefan Conrad


Universitätsstr. 1
40225 Düsseldorf
Gebäude: 25.12
Etage/Raum: 02.24
Tel.: +49 211 81-14088
Fax: +49 211 81-13463

Sekretariat

Sabine Freese


Sprechzeiten:
Mo-Fr: 10:00-11:30 Uhr
Mo-Do: 13:00-14:30 Uhr


Universitätsstr. 1
40225 Düsseldorf
Gebäude: 25.12
Etage/Raum: 02.22
Tel.: +49 211 81-11312
Fax: +49 211 81-13463
Verantwortlich für den Inhalt:  E-Mail senden Datenbanken & Informationssysteme