- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
127 S.
- Sprache
-
Englisch
- Anmerkungen
-
Zugl.: München, Techn. Univ., Habil.-Schr., 1983
- Ereignis
-
Veröffentlichung
- (wo)
-
Passau
- (wer)
-
Fak. für Mathematik u. Informatik, Univ., Dekanat
- (wann)
-
1985
- 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:33 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
- Wirsing, Martin
- Fak. für Mathematik u. Informatik, Univ., Dekanat
Entstanden
- 1985
Ähnliche Objekte (12)
Attributed algebraic specifications
Attributed algebraic specifications
Attributed algebraic specifications
Nondeterminism in algebraic specifications and algebraic programs
Deriving object-oriented specifications from algebraic specifications through refinement
Applications of kernel machines to structured data
Initial computability, algebraic specifications, and partial algebras
Algebraic specifications in software engineering : an introduction
A natural-deduction-like calculus for structured specifications
Structured manifolds for motion production and segmentation : a structured Kernel Regression approach
Executable specifications for language implementation
Development of communication protocols with algebraic temporal specifications
Attributed algebraic specifications
Attributed algebraic specifications
Attributed algebraic specifications
Nondeterminism in algebraic specifications and algebraic programs
Deriving object-oriented specifications from algebraic specifications through refinement
Applications of kernel machines to structured data
Initial computability, algebraic specifications, and partial algebras
Algebraic specifications in software engineering : an introduction
A natural-deduction-like calculus for structured specifications
Structured manifolds for motion production and segmentation : a structured Kernel Regression approach
Executable specifications for language implementation
Development of communication protocols with algebraic temporal specifications
Attributed algebraic specifications
Attributed algebraic specifications
Attributed algebraic specifications
Nondeterminism in algebraic specifications and algebraic programs
Deriving object-oriented specifications from algebraic specifications through refinement
Applications of kernel machines to structured data
Initial computability, algebraic specifications, and partial algebras
Algebraic specifications in software engineering : an introduction
A natural-deduction-like calculus for structured specifications
Structured manifolds for motion production and segmentation : a structured Kernel Regression approach
Executable specifications for language implementation