Parameterization without parameters in: The history of a hierarchy of specifications
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
42 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturverz. S. 40 - 42
- Bibliographic citation
-
Interner Bericht / Technische Universität Kaiserslautern ; 88
- Keyword
-
ASPIK
Spezifikation
Sortierverfahren
Anwendungsdienstanbieter
Algebraische Spezifikation
Sortierverfahren
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Fachbereich Informatik
- (when)
-
1983
- Creator
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:32 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Beierle, Christoph
- Gerlach, Michael
- Voss, Angelika
- Universität Kaiserslautern. Fachbereich Informatik
- Fachbereich Informatik
Time of origin
- 1983
Other Objects (12)
Formal specifications with higher order parameterization
From demonstrations to task-space specifications. Using causal analysis to extract rule parameterization from demonstrations
Specifications of database systems
Phenomenology of convection-parameterization closure
Composition of hierarchic default specifications
Semantics of OCL Operation Specifications
Composition of hierarchic default specifications
Efficient Implementation of Estelle Specifications
The Hierarchy of Money
Motor Parameterization
Parameterization of single-scattering properties of snow
Parameterization and tiling of polyhedral surfaces
Formal specifications with higher order parameterization
From demonstrations to task-space specifications. Using causal analysis to extract rule parameterization from demonstrations
Specifications of database systems
Phenomenology of convection-parameterization closure
Composition of hierarchic default specifications
Semantics of OCL Operation Specifications
Composition of hierarchic default specifications
Efficient Implementation of Estelle Specifications
The Hierarchy of Money
Motor Parameterization
Parameterization of single-scattering properties of snow
Parameterization and tiling of polyhedral surfaces
Formal specifications with higher order parameterization
From demonstrations to task-space specifications. Using causal analysis to extract rule parameterization from demonstrations
Specifications of database systems
Phenomenology of convection-parameterization closure
Composition of hierarchic default specifications
Semantics of OCL Operation Specifications
Composition of hierarchic default specifications
Efficient Implementation of Estelle Specifications
The Hierarchy of Money
Motor Parameterization
Parameterization of single-scattering properties of snow