- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
29 S.
- Language
-
Englisch
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Inst. für Informatik
- (when)
-
1994
- Creator
-
Grosu, Radu
Nazareth, Dieter
- 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, 2:20 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
- Grosu, Radu
- Nazareth, Dieter
- Inst. für Informatik
Time of origin
- 1994
Other Objects (12)
The requirement and design specification language SPECTRUM, Part 1
Formal specification of CSCW applications
The calculus of SPECTRUM
A polymorphic sort system for axiomatic specification languages
Durchschnittsbasierte Generalisierungsregeln, Teil 1.. Grundlagen
ESPRIT BR project RAND REC, [...]. July 1, 1994 - June 30, 1995
Durchschnittsbasierte Generalisierungsregeln, Teil 2.. Analyse von Daten septischer Schock-Patienten
ESPRIT BR project RAND REC, [...]. July 1, 1993 - September 30, 1997
ESPRIT BR project RAND REC, [...]. July 1, 1993 - June 30, 1994
Zur Übersetzung von E-R-Schemata nach SPECTRUM
Towards a formalization of the unified modeling language
Implementing the change of data structures with SPECTRUM in the framework of KORSO development graphs
The requirement and design specification language SPECTRUM, Part 1
Formal specification of CSCW applications
The calculus of SPECTRUM
A polymorphic sort system for axiomatic specification languages
Durchschnittsbasierte Generalisierungsregeln, Teil 1.. Grundlagen
ESPRIT BR project RAND REC, [...]. July 1, 1994 - June 30, 1995
Durchschnittsbasierte Generalisierungsregeln, Teil 2.. Analyse von Daten septischer Schock-Patienten
ESPRIT BR project RAND REC, [...]. July 1, 1993 - September 30, 1997
ESPRIT BR project RAND REC, [...]. July 1, 1993 - June 30, 1994
Zur Übersetzung von E-R-Schemata nach SPECTRUM
Towards a formalization of the unified modeling language
Implementing the change of data structures with SPECTRUM in the framework of KORSO development graphs
The requirement and design specification language SPECTRUM, Part 1
Formal specification of CSCW applications
The calculus of SPECTRUM
A polymorphic sort system for axiomatic specification languages
Durchschnittsbasierte Generalisierungsregeln, Teil 1.. Grundlagen
ESPRIT BR project RAND REC, [...]. July 1, 1994 - June 30, 1995
Durchschnittsbasierte Generalisierungsregeln, Teil 2.. Analyse von Daten septischer Schock-Patienten
ESPRIT BR project RAND REC, [...]. July 1, 1993 - September 30, 1997
ESPRIT BR project RAND REC, [...]. July 1, 1993 - June 30, 1994
Zur Übersetzung von E-R-Schemata nach SPECTRUM
Towards a formalization of the unified modeling language