- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
X, 209 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Auch als elektron. Version vorh.
Hannover, Univ., Diss., 1997
- Classification
-
Informatik
- Keyword
-
Formale Spezifikationstechnik
Default-Logik
- 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:59 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.
Object type
- Hochschulschrift
Other Objects (12)
Composition of hierarchic default specifications
Deriving object-oriented specifications from algebraic specifications through refinement
Attributed algebraic specifications
Attributed algebraic specifications
Attributed algebraic specifications
Semantic integration of heterogeneous software specifications
Model checking of duration calculus specifications
Fuzzy matching of comprehensive service specifications
Generating processors from specifications of instruction sets
Automatic generation of specifications using verification tools
Generating processors from specifications of instruction sets
Interconnecting and reusing component specifications
Composition of hierarchic default specifications
Deriving object-oriented specifications from algebraic specifications through refinement
Attributed algebraic specifications
Attributed algebraic specifications
Attributed algebraic specifications
Semantic integration of heterogeneous software specifications
Model checking of duration calculus specifications
Fuzzy matching of comprehensive service specifications
Generating processors from specifications of instruction sets
Automatic generation of specifications using verification tools
Generating processors from specifications of instruction sets
Interconnecting and reusing component specifications
Composition of hierarchic default specifications
Deriving object-oriented specifications from algebraic specifications through refinement
Attributed algebraic specifications
Attributed algebraic specifications
Attributed algebraic specifications
Semantic integration of heterogeneous software specifications
Model checking of duration calculus specifications
Fuzzy matching of comprehensive service specifications
Generating processors from specifications of instruction sets
Automatic generation of specifications using verification tools
Generating processors from specifications of instruction sets