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	Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Bereich Informatik >> Professur für Grundlagen der Informatik >> 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 UnivIS ist ein Produkt der Config eG, Buckenhof