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
>>
Mendler, Michael
:
Dealing with Hardware Constraints - A modal logical approach .
In:
Kloos, C., D.
(Hrsg.) :
1st Euroform Workshop
(1st Euroform Workshop, Las Navas del Marques, Spain, January 1994).
1994, S. 7 Seiten.
UnivIS ist ein Produkt der
Config eG
, Buckenhof