ESPRIT project 125 - GRASPIN, [...]. Description of V & V methods / Bernd Dehm ...

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783884579077
388457907X
Extent
[93] S. in getr. Zählung
Language
Englisch

Bibliographic citation
ESPRIT project 125 - GRASPIN

Event
Veröffentlichung
(where)
Sankt Augustin
(who)
GMD [u.a.]
(when)
1985
Contributor
Dehm, Bernd

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:51 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

  • Dehm, Bernd
  • GMD [u.a.]

Time of origin

  • 1985

Other Objects (12)

ESPRIT project 125 - GRASPIN, [...]. Simulator kernel : preliminary reference manual / Thomas Haensse ; Bernd Dehm

ESPRIT project 125 - GRASPIN, [...]. Simulator kernel : preliminary reference manual / Thomas Haensse ; Bernd Dehm

ESPRIT project 125 - GRASPIN, [...]. Analyzer verification tools : preliminary reference manual / Walter Sommer ; Bernd Dehm

ESPRIT project 125 - GRASPIN, [...]. Analyzer verification tools : preliminary reference manual / Walter Sommer ; Bernd Dehm

ESPRIT project 125 - GRASPIN, Testbench.. Preliminary description of overall architecture / Gavino Capitta ...

ESPRIT project 125 - GRASPIN, Testbench.. Preliminary description of overall architecture / Gavino Capitta ...

ESPRIT project 125 - GRASPIN, Testbench.

ESPRIT project 125 - GRASPIN, Testbench.

ESPRIT project 125 - GRASPIN, Testbench.

ESPRIT project 125 - GRASPIN, Testbench.

ESPRIT project 125 - GRASPIN, Testbench.

ESPRIT project 125 - GRASPIN, Testbench.

ESPRIT project 125 - GRASPIN, [...]. Using symbolic evaluation to transform programs into algebraic descriptions : first experiences / Thomas Haensse

ESPRIT project 125 - GRASPIN, [...]. Using symbolic evaluation to transform programs into algebraic descriptions : first experiences / Thomas Haensse

ESPRIT project 125 - GRASPIN, [...]. SEGRAS : the GRASPIN specification language / Bernd Krämer

ESPRIT project 125 - GRASPIN, [...]. SEGRAS : the GRASPIN specification language / Bernd Krämer

ESPRIT project 125 - GRASPIN, [...]. ASDL definition for ADA language / Paolo Giovannetti

ESPRIT project 125 - GRASPIN, [...]. ASDL definition for ADA language / Paolo Giovannetti

ESPRIT project 125 - GRASPIN, [...]. A proposal for ASDG / Vincenzo Ambriola ; Gabriela Daniele

ESPRIT project 125 - GRASPIN, [...]. A proposal for ASDG / Vincenzo Ambriola ; Gabriela Daniele

ESPRIT project 125 - GRASPIN, [...]. Method for establishing correct implementation steps / Thomas Haensse

ESPRIT project 125 - GRASPIN, [...]. Method for establishing correct implementation steps / Thomas Haensse

ESPRIT project 125 - GRASPIN, [...]. Analyzer : user interface of static analysis / Rüdiger Endres

ESPRIT project 125 - GRASPIN, [...]. Analyzer : user interface of static analysis / Rüdiger Endres

Related objects