- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Anmerkungen
-
In: Ulmer Informatik-Berichte
- Ereignis
-
Veröffentlichung
- (wo)
-
Ulm
- (wer)
-
Universität Ulm. Fakultät für Informatik
- (wann)
-
2005
- Urheber
- URN
-
urn:nbn:de:bsz:289-vts-53619
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:50 MEZ
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
- Reif, Wolfgang
- Schellhorn, Gerhard
- Thums, Andreas
- Universität Ulm. Fakultät für Informatik
Entstanden
- 2005
Ähnliche Objekte (12)
Eine Sprache zur formalen Spezifikation eingebetteter Systeme
Eine Sprache zur formalen Spezifikation eingebetteter Systeme
Methodik zur formalen Spezifikation des ISO-OSI-Schichtenmodells
Generierung von Dokumentverarbeitungssystemen aus formalen Spezifikationen von Dokumentarchitekturen
Methodik zur formalen Spezifikation des ISO-OSI-Schichtenmodells
Automatische Fehlersuche in algebraischen Spezifikationen
Die formalen Stufen
Zur exakten formalen Spezifikation der Syntax und Semantik von Maschinensprachen
Dienstgütebehandlung im Dienstlebenszyklus : von der formalen Spezifikation zur rechnergestützten Umsetzung
Syntaxfehler in formalen Sprachen
I. Die formalen Grundlagen.
Die unglücklichen >formalen Stufen<
Eine Sprache zur formalen Spezifikation eingebetteter Systeme
Eine Sprache zur formalen Spezifikation eingebetteter Systeme
Methodik zur formalen Spezifikation des ISO-OSI-Schichtenmodells
Generierung von Dokumentverarbeitungssystemen aus formalen Spezifikationen von Dokumentarchitekturen
Methodik zur formalen Spezifikation des ISO-OSI-Schichtenmodells
Automatische Fehlersuche in algebraischen Spezifikationen
Die formalen Stufen
Zur exakten formalen Spezifikation der Syntax und Semantik von Maschinensprachen
Dienstgütebehandlung im Dienstlebenszyklus : von der formalen Spezifikation zur rechnergestützten Umsetzung
Syntaxfehler in formalen Sprachen
I. Die formalen Grundlagen.
Die unglücklichen >formalen Stufen<
Eine Sprache zur formalen Spezifikation eingebetteter Systeme
Eine Sprache zur formalen Spezifikation eingebetteter Systeme
Methodik zur formalen Spezifikation des ISO-OSI-Schichtenmodells
Generierung von Dokumentverarbeitungssystemen aus formalen Spezifikationen von Dokumentarchitekturen
Methodik zur formalen Spezifikation des ISO-OSI-Schichtenmodells
Automatische Fehlersuche in algebraischen Spezifikationen
Die formalen Stufen
Zur exakten formalen Spezifikation der Syntax und Semantik von Maschinensprachen
Dienstgütebehandlung im Dienstlebenszyklus : von der formalen Spezifikation zur rechnergestützten Umsetzung
Syntaxfehler in formalen Sprachen
I. Die formalen Grundlagen.