Informationssystem der Otto-Friedrich-Universität Bamberg
© Config eG
Sammlung/Stundenplan
Home
|
Anmelden
|
Kontakt
|
Hilfe
Suche:
Personen
Einrichtungen
sonstige Einträge
Lehrveranstaltungen
Räume
Darstellung
Druckansicht
Außerdem im UnivIS
Vorlesungsverzeichnis
Veranstaltungskalender
Steffen, B. ; Jay, C., B. ;
Mendler, Michael
:
Compositional characterization of observable program properties .
In:
Theoretical Informatics and Applications
26 (1992), Nr. 5, S. 403-424
Institution:
Professur für Grundlagen der Informatik
UnivIS ist ein Produkt der
Config eG
, Buckenhof