> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Automaten und Logiken zur Beschreibung zeitabhängiger Systeme Beteiligte: Wilke, Thomas [VerfasserIn] Erschienen: Kiel: Inst. für Informatik und Praktische Mathematik, 1994 Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9408 Umfang: V, 168 S.; graph. Darst Sprache: Deutsch RVK-Notation: ST 136 : Automatentheorie, Formale Sprache Schlagwörter: Automatentheorie > Mathematische Logik > Zeitabhängigkeit Entstehung: Hochschulschrift: Zugl.: Kiel, Univ., Diss., 1994 Anmerkungen: Weitere Bestandsnachweise 0 : Institut für Informatik und Praktische Mathematik <Kiel>: Bericht