- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783884579480
3884579487
- Dimensions
-
30 cm
- Extent
-
83 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
- Bibliographic citation
-
ESPRIT project 125 - GRASPIN
- Event
-
Veröffentlichung
- (where)
-
Sankt Augustin, Ivrea , Pisa
- (who)
-
GMD, Olivetti & C.
- (when)
-
1988
- Creator
-
Giannuzzi, Nino
Lauria, Gaetano
Gorla, Marco
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:24 PM CET
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
- Giannuzzi, Nino
- Lauria, Gaetano
- Gorla, Marco
- GMD, Olivetti & C.
Time of origin
- 1988
Other Objects (12)
Specification of the Kernel DEVA support environment : ESPRIT project 510 ToolUse ; final report of task 4.3
PROFEMO, design and implementation of a fault tolerant distributed system architecture, Suppl.. Formal specification
The DEVA support environment : ESPRIT 510 - project ToolUse ; Task-S-Report
FORTRAN lexical analysis specification
Specification and implementation of asynchronous process communication
Applicability of formal description techniques for test specification
Karlsruhe Ada environment : user manual
Secure DFN : principles of security operations and specification of security interfaces
Seminar Programmierumgebungen, [1]
SNAPAD system, Version 2.0.
Seminar Programmierumgebungen, Bd. 2
Grundlagen der VLSI-Technik, 2
Specification of the Kernel DEVA support environment : ESPRIT project 510 ToolUse ; final report of task 4.3
PROFEMO, design and implementation of a fault tolerant distributed system architecture, Suppl.. Formal specification
The DEVA support environment : ESPRIT 510 - project ToolUse ; Task-S-Report
FORTRAN lexical analysis specification
Specification and implementation of asynchronous process communication
Applicability of formal description techniques for test specification
Karlsruhe Ada environment : user manual
Secure DFN : principles of security operations and specification of security interfaces
Seminar Programmierumgebungen, [1]
SNAPAD system, Version 2.0.
Seminar Programmierumgebungen, Bd. 2
Grundlagen der VLSI-Technik, 2
Specification of the Kernel DEVA support environment : ESPRIT project 510 ToolUse ; final report of task 4.3
PROFEMO, design and implementation of a fault tolerant distributed system architecture, Suppl.. Formal specification
The DEVA support environment : ESPRIT 510 - project ToolUse ; Task-S-Report
FORTRAN lexical analysis specification
Specification and implementation of asynchronous process communication
Applicability of formal description techniques for test specification
Karlsruhe Ada environment : user manual
Secure DFN : principles of security operations and specification of security interfaces
Seminar Programmierumgebungen, [1]
SNAPAD system, Version 2.0.
Seminar Programmierumgebungen, Bd. 2