- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
VI, 141 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Als Ms. vervielfältigt
Zugl.: München, Techn. Univ., Diss.
- Keyword
-
Spezifikation
Software
Technische Zuverlässigkeit
Prozessrechner
Algebraische Spezifikation
Software
Zuverlässigkeit
Prozessrechner
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
Kernforschungszentrum
- (when)
-
1981
- Creator
- 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:02 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
Associated
- Ludewig, Jochen
- Kernforschungszentrum
Time of origin
- 1981
Other Objects (12)
Zur Erstellung der Spezifikation von Prozessrechner-Software
Zur Erstellung der Spezifikation von Prozessrechner-Software
Zur Erstellung der Spezifikation von Prozeßrechner-Software
ESPRESO - ein System zur Erstellung der Spezifikation von Prozeßrechner-Software
Stand der Forschung und Technik auf dem Gebiet der rechnerunterstützten Spezifikation von Prozessrechner-Software
ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software
PCSL und ESPRESO - zwei Ansätze zur Formalisierung der Prozeßrechner-Softwarespezifikation
Software-Prozesse und Software-Qualität
Software-Wiederverwendung
Bewertung von Computer-Software
"Software-Entsorgung" : Vorträge und Podiumsdiskussion
Software Engineering in der Universität
Zur Erstellung der Spezifikation von Prozessrechner-Software
Zur Erstellung der Spezifikation von Prozessrechner-Software
Zur Erstellung der Spezifikation von Prozeßrechner-Software
ESPRESO - ein System zur Erstellung der Spezifikation von Prozeßrechner-Software
Stand der Forschung und Technik auf dem Gebiet der rechnerunterstützten Spezifikation von Prozessrechner-Software
ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software
PCSL und ESPRESO - zwei Ansätze zur Formalisierung der Prozeßrechner-Softwarespezifikation
Software-Prozesse und Software-Qualität
Software-Wiederverwendung
Bewertung von Computer-Software
"Software-Entsorgung" : Vorträge und Podiumsdiskussion
Software Engineering in der Universität
Zur Erstellung der Spezifikation von Prozessrechner-Software
Zur Erstellung der Spezifikation von Prozessrechner-Software
Zur Erstellung der Spezifikation von Prozeßrechner-Software
ESPRESO - ein System zur Erstellung der Spezifikation von Prozeßrechner-Software
Stand der Forschung und Technik auf dem Gebiet der rechnerunterstützten Spezifikation von Prozessrechner-Software
ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software
PCSL und ESPRESO - zwei Ansätze zur Formalisierung der Prozeßrechner-Softwarespezifikation
Software-Prozesse und Software-Qualität
Software-Wiederverwendung
Bewertung von Computer-Software
"Software-Entsorgung" : Vorträge und Podiumsdiskussion