Hochschulschrift
Development of communication protocols with algebraic temporal specifications
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
103 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Berlin, Techn. Univ., Diss., 1996
- Schlagwort
-
Kommunikationsprotokoll
Algebraische Spezifikation
Temporale Logik
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:10 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.
Objekttyp
- Hochschulschrift
Beteiligte
Ähnliche Objekte (12)
Development of communication protocols by composing and refining temporal specifications
Specifying communication protocols with temporal logic
Attributed algebraic specifications
Attributed algebraic specifications
Attributed algebraic specifications
Parameterized algebraic protocols
Nondeterminism in algebraic specifications and algebraic programs
Deriving object-oriented specifications from algebraic specifications through refinement
Structured algebraic specifications : a kernel language
Initial computability, algebraic specifications, and partial algebras
Algebraic specifications in software engineering : an introduction
Algebraic domain equations for specifications containing inequational axioms
Development of communication protocols by composing and refining temporal specifications
Specifying communication protocols with temporal logic
Attributed algebraic specifications
Attributed algebraic specifications
Attributed algebraic specifications
Parameterized algebraic protocols
Nondeterminism in algebraic specifications and algebraic programs
Deriving object-oriented specifications from algebraic specifications through refinement
Structured algebraic specifications : a kernel language
Initial computability, algebraic specifications, and partial algebras
Algebraic specifications in software engineering : an introduction
Algebraic domain equations for specifications containing inequational axioms
Development of communication protocols by composing and refining temporal specifications
Specifying communication protocols with temporal logic
Attributed algebraic specifications
Attributed algebraic specifications
Attributed algebraic specifications
Parameterized algebraic protocols
Nondeterminism in algebraic specifications and algebraic programs
Deriving object-oriented specifications from algebraic specifications through refinement
Structured algebraic specifications : a kernel language
Initial computability, algebraic specifications, and partial algebras
Algebraic specifications in software engineering : an introduction