- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Lübeck, Universität zu Lübeck, Dissertation, 2021
- Ereignis
-
Veröffentlichung
- (wo)
-
Lübeck
- (wer)
-
Zentrale Hochschulbibliothek Lübeck
- (wann)
-
2022
- Urheber
-
Scheffel, Torben
- Beteiligte Personen und Organisationen
-
Leucker, Martin
Bartocci, Ezio
- URN
-
urn:nbn:de:gbv:841-20210907283
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:22 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Scheffel, Torben
- Leucker, Martin
- Bartocci, Ezio
- Zentrale Hochschulbibliothek Lübeck
Entstanden
- 2022
Ähnliche Objekte (12)
Logics of specification languages
The complexity of concept languages
The complexity of concept languages
The complexity of concept languages
Specification Languages for Preserving Consistency between Models of Different Languages
Specification Languages for Preserving Consistency between Models of Different Languages
Larch : languages and tools for formal specification
Languages, methods, and tools for software specification
Specification Languages for Stutter-Invariant Regular Properties
The complexity of the stream of consciousness
Machines, languages and complexity : selected contributions
Nondeterministic Descriptional Complexity of Regular Languages
Logics of specification languages
The complexity of concept languages
The complexity of concept languages
The complexity of concept languages
Specification Languages for Preserving Consistency between Models of Different Languages
Specification Languages for Preserving Consistency between Models of Different Languages
Larch : languages and tools for formal specification
Languages, methods, and tools for software specification
Specification Languages for Stutter-Invariant Regular Properties
The complexity of the stream of consciousness
Machines, languages and complexity : selected contributions
Nondeterministic Descriptional Complexity of Regular Languages
Logics of specification languages
The complexity of concept languages
The complexity of concept languages
The complexity of concept languages
Specification Languages for Preserving Consistency between Models of Different Languages
Specification Languages for Preserving Consistency between Models of Different Languages
Larch : languages and tools for formal specification
Languages, methods, and tools for software specification
Specification Languages for Stutter-Invariant Regular Properties
The complexity of the stream of consciousness
Machines, languages and complexity : selected contributions